no more multiple configure/Makefile, just one for both ocaml/ and matita/

[helm.git] / helm / matita / scripts / public_html / style.css

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 093af1bb7cc8e44d1f2414c3be911e3435d4d1c5..dc2df470da1dce6c29fb48d74ceb6740b3261067 100644 (file)
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -3,19 +3,53 @@ body {
   font-size: 12pt;
 }
 
+h1 {
+  text-align: center;
+  background-color: #87CEFA;
+}
+
+h2 {
+  margin-right: auto;
+  border-bottom-color: #87CEFA;
+  border-bottom-style: solid;
+  border-bottom-width: 2px;
+}
+
 a, .button {
-  border: 2px outset gray;
+  border: 1px outset;
   text-decoration: none;
-  background-color: silver;
+  background-color: #e9e9e9;
   color: black;
   cursor:pointer;
+  font-size: small;
+  padding-left:4px;
+  padding-right:4px;
 }
 
 li {
-  margin-bottom: 5pt;
-  
+  margin-bottom: 10pt;
 }
 
 ul {
   list-style-type: upper-roman;
 }
+
+table, td {
+  border-style:none;
+  padding: 2px 6px 2px 6px;
+}
+
+tr.odd {
+  background-color:#EEEEEE;
+}
+tr.even {
+  background-color:#CECECE;
+}
+
+th {
+  border-style:solid;
+  border-width:0px 0px 1px 0px;
+  border-color: gray;
+}
+
+