6 // Base styles (regardless of theme)
10 padding: 15px 30px 15px 15px;
11 border-left: 5px solid #eee;
14 text-decoration: underline;
28 background-color: #fff;
31 // Themes for different contexts
34 border-color: darken(@red, 10%);
38 border-color: darken(@yellow, 10%);
42 border-color: darken(@aqua, 10%);
46 border-color: darken(@green, 10%);