reworked css and html structure, continuing offline ...

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

diff --git a/helm/www/matita/style.css b/helm/www/matita/style.css
index 64cc6d8b494b7f439b837f745f892101db7cb2ee..6de52ec9483c3e5f301be817bea0be0ff3d6a715 100644 (file)
--- a/helm/www/matita/style.css
+++ b/helm/www/matita/style.css
@@ -1,3 +1,4 @@
+
 body {
   font-family: sans-serif;
   font-size: 12pt;
@@ -11,32 +12,48 @@ samp.tiny {
   font-size: 8pt;
 }
 
-span.h1 {
+div.main h1 {
   font-family: sans-serif;
-  font-size: 16pt;
+  font-size: 18pt;
+  color: #808080;
 
+  text-align: center;
+}
+
+div.main h2 {
+  font-family: sans-serif;
+  font-size: 16pt;
   color: #808080;
   
-  border-bottom-width: 4px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
+  border-style: none;
+  border-bottom-style: solid;
+  border-width: 3px;
   border-color: #cb8080;
+  width: 70%;
 
   margin-right: auto;
-/*   margin-left: 10%; */
+}
+
+div.main h3 {
+  font-family: sans-serif;
+  font-size: 14pt;
+  color: #808080;
+}
+
+div.main h4 {
+  font-family: sans-serif;
+  font-size: 13pt;
+  color: #808080;
 }
 
 p {
-/*   margin-left:10%; */
 }
+
 ul {
-/*   margin-left:10%; */
   list-style-type: none;
 }
 
-a.upmenu {
+div.menu a {
   color: #591622;
   background-color: transparent;
   
@@ -52,17 +69,12 @@ a.upmenu {
   border-right-width: 0px;
   border-style: solid;
 
-/*   margin-left:20px; */
   margin-right:20px;
 }
 
-a.upmenu:hover { 
+a.menu:hover { 
   color: #591622;      
   text-decoration : none;
-  /*
-  border-bottom-width: 3px;
-  border-color: #b2dae6;
-  */
   background-color: #ecf6f9;
 
 }
@@ -75,18 +87,10 @@ a {
 
 a:hover {
   text-decoration : underline;
-  /*
-  border-bottom-width: 2px;
-  border-top-width: 0px;
-  border-left-width: 0px;
-  border-right-width: 0px;
-  border-style: solid;
-  border-color: #b2dae6;
-  */
   background-color: #ecf6f9;
 }
 
-div.upmenu {
+div.menu {
   display: block;
   width: auto;
   text-align:center;
@@ -117,9 +121,7 @@ a.quiet:link,visited,hover {
   
 }
 
-img.quiet { 
+a.quiet img { 
   border-style:none; 
 }
 
-
-