Adjust font size
authorJoey Schulze <joey@infodrom.org>
Thu, 4 Jun 2009 10:30:52 +0000 (10:30 +0000)
committerJoey Schulze <joey@infodrom.org>
Thu, 4 Jun 2009 10:30:52 +0000 (10:30 +0000)
src/infocon.css

index 9696fc2..5faa86f 100644 (file)
@@ -5,7 +5,7 @@
 body {
   font-family: Verdana, Helvetica, Arial, sans-serif;
   background-color: #ffffff;
-  font-size: 13px;
+  font-size: 12px;
   line-height: 110%;
 }
 
@@ -49,7 +49,7 @@ div#content {
   padding-left: 50px;
   padding-right: 30px;
   margin-top: -1em;
-  font-size: 13px;
+  font-size: 12px;
   line-height: 110%;
 }
 
@@ -144,7 +144,7 @@ p.img img {
  * Side menu
  */
 div.vmenu {
-  font-size: 13px;
+  font-size: 12px;
   font-weight: bold;
   padding: 0;
   margin-top: 10px;