merged with trunk

1 files changed, 0 insertions, 85 deletions

diff --git a/attic/muse2-oom/muse2/share/html/styles.css b/attic/muse2-oom/muse2/share/html/styles.css
deleted file mode 100644
index 53026fa1..00000000
--- a/attic/muse2-oom/muse2/share/html/styles.css
+++ /dev/null
@@ -1,85 +0,0 @@
-:link     { color: #091cef; }
-:visited  { color: #091cef; }
-
-body  {
-   background: #eeeeee;
-   color: #00;
-   font-family: Arial, Geneva;
-   font-size: 10pt;
-   }
-h1.head {
-   margin: 0.05em 0.3em;
-   font-family: Arial, helvetica, sans-serif;
-   color: #091cef;
-   }
-td.head {
-   background: #aeb3e8;
-   color: #091cef;
-   }
-td.nav {
-   background: #aeb3e8;
-   color: #000;
-   }
-td.ld {
-   background: #aeb3e8;
-   valign: top;
-   width: 60;
-   font-weight: bold;
-   }
-td.lh {
-   background: #aeb3e8;
-   }
-td.lb {
-   background: #ced1e2;
-   }
-
-h3.navhead {
-   margin-top: 0.2em;
-   margin-bottom: 0em;
-   font-size: small;
-   font-family: Verdana, Geneva, Arial, sans-serif;
-   }
-
-.navlink {
-   font-size: small;
-   font-family: Verdana, Geneva, Arial, sans-serif;
-   }
-
-p, input {
-	font-family: Arial, Geneva;
-	font-size: 10pt;
-}
-
-b {
-	font-family: Arial, Geneva;
-	font-size: 10pt;
-	font-weight: bold;
-}
-
-h1 {
-	font-family: Arial, Geneva;
-	font-size: 24pt;
-	font-weight: bold;
-}
-h2 {
-	font-family: Arial, Geneva;
-	font-size: 18pt;
-	font-weight: bold;
-}
-
-a {
-	font-family: Arial, Geneva;
-	font-size: 12pt;
-}
-
-th {
-	font-family: Arial, Geneva;
-	font-size: 10pt;
-
-}
-
-td {
-      font-family: Arial, Geneva;
-	font-size: 12pt;
-      color: #000000;
-      }