+++ /dev/null
-body
-{
- font-size: 75%; /** 12px */
-}
-#header
-{
- font-size: 75%;
- margin: .25em .5em 1em 1em;
-}
-#nav:target
-{
- padding-left: 0.5em;
- padding-right: 0.5em;
-}
-#breadcrumb,
-#nav:target > a.hide
-{
- top: .5em;
- right: .5em;
-}
-.content > .main,
-#footer
-{
- margin: 0;
- padding: 0 .5em;
-}
-.content > .marginal
-{
- padding: 1em .5em 999em .5em;
- margin-bottom: -991em;
-}
-
-@media (max-width: 210px)
-{
- #nav:target
- {
- padding-top: 0;
- }
-}
-@media (max-width: 150px)
-{
- #header
- {
- font-size: 50%;
- }
- #header > hr.h
- {
- display: block;
- margin: 0;
- }
- #slogan
- {
- display: none;
- }
- #breadcrumb,
- #nav:target > a.hide
- {
- top: .2em;
- line-heigth: 2.3em;
- width: 2.4em;
- }
- #breadcrumb > a.hide:before,
- #nav:target > a.hide:before
- {
- font-size: 264%; /** Vielfaches von 12px */
- }
-}