X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fstyle.css;h=dc2df470da1dce6c29fb48d74ceb6740b3261067;hb=3aeca350068456256c8eadb7b1784909e238b79f;hp=17c66f4285611dd6d961568a2ad222d91f4d851b;hpb=8a1b334a2dcca73eff6beeea0eb51f352f4d4ad3;p=helm.git

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 17c66f428..dc2df470d 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -33,3 +33,23 @@ li {
 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;
+}
+
+