+ top: -15.5625em; /** -249px -- warum auch immer... */
+}
+#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
+{
+ content: '> ';
+ margin-left: -.92em;