Commits

Antonio Cuni committed 7884b73

- use background color instead of border to highlight guards; feel free to revert if you don't like it

- use a more visible color to highlight variables

Comments (0)

Files changed (1)

 
 
 .guard {
-    border: 1px solid #F00;
+    background-color: #FFF5F5;
     margin-left: 3em;
 	padding: 0 3px 1px 3px;
 }
 	display: inline-block;
 }
 
+
 .variable_highlight {
-    background-color: #FFA;
+    background-color: #BFF;
 }
 
 .namespace {