X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fstyle.css;h=697bff14b70d982bc1f8660b3aac88063876e3df;hb=4bcd196e7122f3ab6775a6ae6032295912800be0;hp=498db558e68b22b3b160779e55e215e5eb58d808;hpb=05d666696cb424cd6d1337d9a7e6a420dc8f047a;p=helm.git

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 498db558e..697bff14b 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -3,6 +3,32 @@ body {
   font-size: 12pt;
 }
 
-a {
-  border: blue 1pt;
+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;
+  text-decoration: none;
+  background-color: silver;
+  color: black;
+  cursor:pointer;
+  font-size: small;
+}
+
+li {
+  margin-bottom: 5pt;
+  
+}
+
+ul {
+  list-style-type: upper-roman;
 }