+#menu
+{
+ font-size: 150%;
+ border-bottom: .125em solid @hintergrund;
+ margin-top: 0;
+ padding: .25em .25em 1em 1.5em;
+}
+#menu > li.m
+{
+ float: left;
+ list-style-type: none;
+ padding: .25em 1em 0 0;
+}
+#menu > li.m > a.m
+{
+ color: @dunkel;
+}
+#menu > li.m > strong.m
+{
+ color: @hintergrund;
+ border-bottom: .0625em solid @hintergrund;
+}
+#menu > li.m > a.m:hover,
+#menu > li.m > a.m:focus,
+#menu > li.m > a.m:active
+{
+ color: @dunkler;
+ border-bottom: .0625em solid @dunkler;
+}
+#menu > li.m > a.m.selected
+{
+ color: @hintergrund;
+ border-bottom: .0625em dashed @hintergrund;
+}
+#menu > li.m > a.m.selected:hover,
+#menu > li.m > a.m.selected:focus,
+#menu > li.m > a.m.selected:active
+{
+ border-style: solid;
+}