+++ /dev/null
-#page
-{
- position: relative;
-}
-#breadcrumb
-{
- position: absolute;
- top: .8em;
- right: 1.5em;
-}
-#breadcrumb > strong.b,
-#breadcrumb > ol.b,
-#breadcrumb > hr.b
-{
- display: none;
-}
-#breadcrumb > a.hide
-{
- display: block;
- overflow: hidden;
- width: 3em;
- height: 3em;
- line-height: 3em;
- color: @normal;
- border-style: none;
-}
-#breadcrumb > a.hide:before
-{
- content: "";
- font-family: 'symbols';
- font-size: 300%;
- padding: 0 0 1em 0;
-}
-#breadcrumb > a.hide:hover,
-#breadcrumb > a.hide:focus,
-#breadcrumb > a.hide:active
-{
- color: @dunkler;
-}
-
-.marginal
-{
- margin-top: 4em;
- margin-bottom: -993em;
- padding: 1em 1em 999em 2.5em;
- background-color: @heller;
-}
-.marginal h1,
-.marginal h2,
-.marginal h3,
-.marginal h4
-{
- color: @hintergrund;
-}
-#nav > hr.n
-{
- display: none;
-}
-
-#menu,
-#submenu
-{
- border-style: none;
- font-size: 125%;
- line-height: 1.5em;
-}
-#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;
-}