X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fstyle%2Fmowgli.css;fp=helm%2Fmowgli%2Fhome%2Fstyle%2Fmowgli.css;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=4a32870fa2022d2f8842b74bdb0dc2ca8b14728e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/mowgli/home/style/mowgli.css b/helm/mowgli/home/style/mowgli.css
deleted file mode 100644
index 4a32870fa..000000000
--- a/helm/mowgli/home/style/mowgli.css
+++ /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
-}