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;
148 #body input.title, #body input.url{
149 border: 1px solid @lighter_color;
156 #body #sharing input.url{
163 border: 1px solid @lighter_color;
178 -moz-border-radius: 5px;
180 -webkit-border-radius: 5px;
185 background-color: @error_color;
189 -moz-border-radius: 5px;
191 -webkit-border-radius: 5px;
196 background-color: @success_color;