diff --git a/trac/htdocs/main.css b/trac/htdocs/main.css
index 2236e56..a033324 100644
--- a/trac/htdocs/main.css
+++ b/trac/htdocs/main.css
@@ -1,35 +1,36 @@
 body {
     width:80%;
     margin: auto;
+    font-size: 12px;
 }
 :link, :visited { color: #3a5; }
 :link:hover, :visited:hover { color: #a2d; }
 
 body, th, td {
- font-family: 'Bitstream Vera Serif',times,serif;
+    font-family: 'Bitstream Vera Serif',times,serif;
 }
 
 h1, h2, h3, h4 {
- font-family: 'Bitstream Vera Serif',times,serif;
+    font-family: 'Bitstream Vera Serif',times,serif;
 }
 
 #mainnav {
- font-family: 'Bitstream Vera Serif',times,serif;
+    font-family: 'Bitstream Vera Serif',times,serif;
 }
 
 #mainnav :link, #mainnav :visited {
- padding-left: 8px; padding-right: 8px;
- color: white;
+    padding-left: 8px; padding-right: 8px;
+    color: white;
 }
 #mainnav :link:hover, #mainnav :visited:hover {
     color: white;
     background: #945973;
 }
 h1, h2, h3 {
-  text-indent: 0.5em;
-  border-style: solid;
-  border-color: #88aa77;
-  background-color: inherit;
+    text-indent: 0.5em;
+    border-style: solid;
+    border-color: #88aa77;
+    background-color: inherit;    
 }
 
 h1 {