-body
-{
- font-size: 75%; /** 12px */
-}
-#header hr.h
-{
- margin: .5em 0;
-}
-.content
-{
- clear: both;
-}
-.marginal
-{
- display: none;
-}
-#breadcrumb
-{
- .droid;
- color: @schrift;
- font-weight: normal;
-}
-#breadcrumb strong.b
-{
- font-weight: normal;
-}
-#breadcrumb ol.b li.b a.b,
-#breadcrumb ol.b li.b strong.b
-{
- color: @schrift;
- border-style: none;
-}
-#breadcrumb a.hide
-{
- display: none;
-}
-#breadcrumb hr.b
-{
- display: none;
-}
-#nav
-{
- display: none;
-}
-#footerlinks li.f
-{
- display: none;
-}
-#footerlinks li#copyright
-{
- .droid;
- font-size: 100%;
- display: block;
-}