+++ /dev/null
-#nav > hr.n
-{
- display: none;
-}
-#menu
-{
- position: relative;
- width: 200%;
- top: -7em;
- right: 100%;
- text-align: right;
- list-style-type: none;
- margin: 0;
- padding: 0;
- border-style: none;
-}
-#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;
-}
-
-#breadcrumb
-{
- position: absolute;
- top: 8.375em;
- left: 6.9em;
- z-index: 3;
-}
-#breadcrumb > a.hide
-{
- position: absolute;
-}
-#breadcrumb > hr.b
-{
- display: none;
-}