$Date: 2004/08/17 06:58:09 $
@@ -128,6 +136,10 @@
document.styleSheets(0).addRule("div.menuitem ul", "display: inline");
document.styleSheets(0).addRule("div.menuitem h2", "display: inline");
document.styleSheets(0).addRule("body", "font-size: 130%");
+document.styleSheets(0).addRule("div.navigation", "font-size: 80%");
+document.styleSheets(0).addRule("div.update", "font-size: 80%");
+document.styleSheets(0).addRule("#new", "font-size: 80%; line-height: 115%");
+//document.styleSheets(0).addRule("#new li", "margin: 0 0 0.12em 0; padding: 0");