X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fscripts%2Fpublic_html%2Fstyle.css;h=093af1bb7cc8e44d1f2414c3be911e3435d4d1c5;hb=79d60459ff1ba9efbcc4d196f345a3841630d903;hp=81822072cef5a48fff8584a3e8974db0dbf9babd;hpb=4301dbaf20b68840e3bdf6a9b701d71034c91b7f;p=helm.git

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 81822072c..093af1bb7 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -3,6 +3,19 @@ body {
   font-size: 12pt;
 }
 
-a {
-  border: solid 1pt blue;
+a, .button {
+  border: 2px outset gray;
+  text-decoration: none;
+  background-color: silver;
+  color: black;
+  cursor:pointer;
+}
+
+li {
+  margin-bottom: 5pt;
+  
+}
+
+ul {
+  list-style-type: upper-roman;
 }