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

diff --git a/helm/matita/scripts/public_html/style.css b/helm/matita/scripts/public_html/style.css
index 093af1bb7..40a586313 100644
--- a/helm/matita/scripts/public_html/style.css
+++ b/helm/matita/scripts/public_html/style.css
@@ -3,6 +3,18 @@ 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;
   text-decoration: none;