2 @background_color: #fff;
8 @success_color: #f0fff0;
10 @font_stack: "Helvetica Neue", Helvetica, Arial, sans-serif;
23 background-color: @background_color;
26 font-family: @font_stack;
36 background-image: url(/images/logo.png);
37 background-repeat: no-repeat;
45 background-image: url(/images/logomini.png);
46 background-repeat: no-repeat;
53 #header #logo span, #header #logomini span{
57 #header #description p{
68 color: @emphasis_color;
74 color: @emphasis_color;
80 color: @emphasis_color;
97 #body ul li p, #body ol li p{
104 #body ul li, #body ol li{
111 border-left: 2px solid @border_color;
115 #body blockquote blockquote{
121 border: 1px solid @lighter_color;
122 background-color: @border_color;
141 border-bottom: 1px solid @border_color;
149 #body input.title, #body input.url{
150 border: 1px solid @lighter_color;
158 border: 1px solid @lighter_color;
173 -moz-border-radius: 5px;
175 -webkit-border-radius: 5px;
180 background-color: @error_color;
184 -moz-border-radius: 5px;
186 -webkit-border-radius: 5px;
191 background-color: @success_color;