--- /dev/null
+
+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
+}