Adjust font size

[infodrom.org/infocon.infodrom.org] / src / infocon.css

diff --git a/src/infocon.css b/src/infocon.css
index 9696fc2..5faa86f 100644 (file)
--- a/src/infocon.css
+++ b/src/infocon.css
@@ -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;