--- main.css.orig	2008-12-22 10:09:35.000000000 +0000
+++ main.css.orig	2008-12-21 23:41:29.000000000 +0000
@@ -434,3 +434,26 @@ 
 Any UTF-8 encoded character does not work with konqueror
 td.leftmenu p.altmenu a.altlink:before {content:"‣ "; color:#301060;}
 */
+
+ul.sidemenu {
+	list-style-type: none;
+	padding-left: 0px;
+	font-size: smaller;
+}
+
+ul.sidemenu li {
+	font-weight: bold;
+}
+
+ul.sidemenu ul {
+	padding-left: 1.5em;
+	margin-top: 0px;
+	margin-bottom: 2em;
+}
+
+ul.sidemenu ul li {
+	margin-top: 0px;
+	margin-bottom: 0px;
+	padding-left: 0px;
+	text-indent: -0.5em;
+}