-
-/** Always display vertical scroll-bars */
-body { overflow-y: scroll; }
-
-/** Center content, when screen is bigger than 1240 */
-#page
+#menu > li.m
+{
+ display: inline-block;
+ padding: 0 0 0 4em;
+}
+#menu > li.m > .m
+{
+ font-size: 250%; /** 40px */
+ color: @normal;
+}
+#menu > li.m > a.m
+{
+ border-color: @normal;
+}
+#menu > li.m > a.m:hover
+{
+ border-color: @dunkler;
+}
+#menu > li.m > a.m:hover,
+#menu > li.m > strong.m
+{
+ border-style: solid;
+}
+#menu > li.m > a.m.selected
+{
+ color: @normal;
+}
+#menu > li.m > a.m:hover
+{
+ color: @dunkler;
+}
+#menu > li.m > a.m:hover:before,
+#menu > li.m > a.m.selected:before,
+#menu > li.m > strong.m:before