fixed script to make csc happy

[helm.git] / helm / www / matita / style.css

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index c614becaa9a5c8f2faa9f3c9b14b38442dbe0776..d129be452506d698664d9637d5d7c3f479850cee 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -11,6 +11,7 @@ div.menu {
   left: 0px;
   width: 150px;
   text-align: center;
+  font-size: 10pt;
 }
 
 div.main {
@@ -19,6 +20,7 @@ div.main {
   left: 150px;
   width: 650px;
   padding-left:20px;
+  font-size: 10pt;
 }
 
 div.news {
@@ -81,6 +83,10 @@ ul {
   list-style-type: square;
 }
 
+p.spaced {
+  padding-bottom: 2em;
+}
+
 /* menu */
 
 div.menu ul {
@@ -136,7 +142,8 @@ ul.wide li {
 
 div.topimage {
   text-align: left;
-  padding-top: 14px;
+  padding-top: 28px;
+  padding-bottom: 28px;
 }
 
 div.bottombar {