]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/style/mowgli.css
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / style / mowgli.css
index 1dbc930207e3a09bba986d30db686b1bb3602e2e..4a32870fa2022d2f8842b74bdb0dc2ca8b14728e 100644 (file)
@@ -1,10 +1,10 @@
 
 table.menuborder {
-  background-color: #663300;
+  background-color: #003377;
 }
 
 td.menutitle {
-  background-color: #cc9966;
+  background-color: #ffeeaa;
   color:            black;
   font-family:      sans-serif;
   font-weight:      bold;
@@ -12,7 +12,7 @@ td.menutitle {
 }
 
 td.menuentries {
-  background-color: #ffcc99;
+  background-color: #ccddff;
   color:            black;
   font-family:      sans-serif;
   font-size:        smaller;
@@ -58,12 +58,12 @@ body.content {
 }
 
 a {
-  color:            #990033;
+  color:            #003377;
 }
 
 a:hover {
-  background-color: #cc9966;
-  color:            black;
+  background-color: #ffeeaa;
+  color:            #003377;
 }
 
 a:visited {