X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Fmatita%2Fstyle.css;fp=helm%2Fwww%2Fmatita%2Fstyle.css;h=6d8bedea96d6e54dc7232a740c555b3c421647a0;hb=d62d1b28015b18a515bdf81e2a8f658d158fae5a;hp=3f36a507ea62859c231d886dd1c0ee6ba8cc7e9a;hpb=eae7632cf7e822dde484d1e630cc58993bfd8d3a;p=helm.git

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 3f36a507e..6d8bedea9 100644
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,3 +1,27 @@
+/*
+ * CSS stylesheet for the website http://matita.cs.unibo.it/
+ *
+ * $Id$
+ */
+
+/* page layout */
+
+div.menu {
+  position: absolute;
+  left: 0px;
+  width: 150px;
+  text-align: center;
+}
+
+div.main {
+  position: absolute;
+  top: 0px;
+  left: 150px;
+  width: 650px;
+  padding-left:20px;
+}
+
+/* site-wide typesetting */
 
 body {
   font-family: sans-serif;
@@ -6,18 +30,14 @@ body {
   background-repeat: repeat;
 }
 
-samp.tiny {
-  font-size: 8pt;
-}
-
-div.main h1 {
+h1 {
   font-size: 18pt;
   color: #808080;
 
   text-align: center;
 }
 
-div.main h2 {
+h2 {
   font-size: 16pt;
   color: #808080;
   
@@ -26,32 +46,37 @@ div.main h2 {
   border-color: #cb8080;
 }
 
-div.main h3 {
+h3 {
   font-size: 14pt;
   color: #808080;
 }
 
-div.main h4 {
+h4 {
   font-size: 13pt;
   color: #808080;
 }
 
+a {
+  margin: 2px;
+  color: #591622;
+  text-decoration: underline;
+}
+
+a:hover {
+  text-decoration: underline;
+  background-color: #ecf6f9;
+}
+
 ul {
   list-style-type: square;
 }
 
-div.menu {
-  position: absolute;
-  left: 0px;
-  width: 150px;
-  padding-top: 110px;
-  background: url(images/matita-small.png);
-  background-repeat: no-repeat;
-  background-position: 1cm top;
-}
+/* menu */
 
 div.menu ul {
   list-style-type: none;
+  padding-left: 10px;
+  padding-right: 10px;
 }
 
 div.menu ul li {
@@ -61,7 +86,7 @@ div.menu ul li {
   
   border-bottom-style: solid;
   border-color: #cb8080;
-  margin-bottom: 10px;
+  margin-bottom: 15px;
 }
 
 div.menu ul li a {
@@ -74,26 +99,14 @@ a.menu:hover {
   background-color: #ecf6f9;
 }
 
-ul.wide li {
-  padding-bottom: 5px;
-}
-
-a {
-  margin: 2px;
-  color: #591622;
-  text-decoration : underline;
-}
+/* fancy classes */
 
-a:hover {
-  text-decoration : underline;
-  background-color: #ecf6f9;
+samp.tiny {
+  font-size: 8pt;
 }
 
-div.main {
-  position: absolute;
-  top: 0px;
-  left: 200px;
-  width: 650px;
+ul.wide li {
+  padding-bottom: 5px;
 }
 
 .center {
@@ -121,10 +134,9 @@ div.uplined {
 }
 
 a.quiet:link,visited,hover { 
-  background-color:transparent;
+  background-color: transparent;
   text-decoration: none;
-  border-style:none;
-  
+  border-style: none;
 }
 
 a.quiet img { 
@@ -136,10 +148,3 @@ pre.code {
   font-size: 95%;
 }
 
-div.logo {
-  background: url(images/matita-big.png);
-  background-repeat: no-repeat;
-  background-position: center top;
-  height: 600px;
-}
-