]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/style/mowgli.css
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / mowgli / home / style / mowgli.css
diff --git a/helm/mowgli/home/style/mowgli.css b/helm/mowgli/home/style/mowgli.css
deleted file mode 100644 (file)
index 4a32870..0000000
+++ /dev/null
@@ -1,90 +0,0 @@
-
-table.menuborder {
-  background-color: #003377;
-}
-
-td.menutitle {
-  background-color: #ffeeaa;
-  color:            black;
-  font-family:      sans-serif;
-  font-weight:      bold;
-  text-align:       left;
-}
-
-td.menuentries {
-  background-color: #ccddff;
-  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:            #003377;
-}
-
-a:hover {
-  background-color: #ffeeaa;
-  color:            #003377;
-}
-
-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
-}