@@ -6,7 +6,7 @@
.favicon {
margin-bottom:-3px;
}
-
+
a {
color: @black;
text-decoration: none;
@@ -18,7 +18,7 @@
&:visited{
color: @violet;
.highlight {
background-color: @dim-gray;
// Chrome hack: bold is different size than normal
@@ -6,10 +6,10 @@
vertical-align: bottom;
font-weight:bold;