seems that #main does not work inside ikiwiki, seems not needed (maki…

…ng sections and titles blue)
JUrban · Sep 17, 2009 · 4a3de17 · 4a3de17
1 parent a52c3dc
commit 4a3de17
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/coqdoc.css b/coqdoc.css
@@ -37,13 +37,13 @@ body { padding: 0px 0px;
 #main  a.modref:hover {text-decoration : none; }
 #main  a.modref:active {text-decoration : none; }
 
-#main .keyword { color : #cf1d1d }
+.keyword { color : #cf1d1d }
 #main { color: black }
 
-#main .section { background-color:#90bdff;
+.section { background-color:#90bdff;
                  font-size : 175% }
 
-#main .doc { margin: 0px;
+.doc { margin: 0px;
              padding: 10px;
              font-family: sans-serif;
              font-size: 100%;