]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/style/mowgli.css
this is the first commit for the mowgli website.
[helm.git] / helm / mowgli / home / style / mowgli.css
diff --git a/helm/mowgli/home/style/mowgli.css b/helm/mowgli/home/style/mowgli.css
new file mode 100644 (file)
index 0000000..1dbc930
--- /dev/null
@@ -0,0 +1,90 @@
+
+table.menuborder {
+  background-color: #663300;
+}
+
+td.menutitle {
+  background-color: #cc9966;
+  color:            black;
+  font-family:      sans-serif;
+  font-weight:      bold;
+  text-align:       left;
+}
+
+td.menuentries {
+  background-color: #ffcc99;
+  color:            black;
+  font-family:      sans-serif;
+  font-size:        smaller;
+  text-align:       left;
+}
+
+dl.news {
+  font-family:      sans-serif;
+}
+
+dt.news {
+  font-family:      monospace;
+  font-weight:      bold;
+}
+
+dd.news {
+  font-family:      sans-serif;
+}
+
+div.small {
+  font-size:        smaller;
+}
+
+div.center {
+  text-align:       center;
+}
+
+div.right {
+  text-align:       right;
+}
+
+body {
+  font-family:      sans-serif;
+  background-color: white;
+  color:            black;
+}
+
+body.content {
+  font-family:      sans-serif;
+  background-color: white;
+  color:            black;
+
+}
+
+a {
+  color:            #990033;
+}
+
+a:hover {
+  background-color: #cc9966;
+  color:            black;
+}
+
+a:visited {
+  color:            black;
+}
+
+table.small {
+  font-size: small
+}
+
+td.title {
+  font-family: sans-serif;
+  font-weight: bold;
+  font-size: large
+}
+
+td.top {
+  font-weight: bold;
+  font-size: x-small
+}
+
+li {
+  list-style-type: circle
+}