#header
{
font-size: 75%;
- margin: 0 .5em 0 1em;
+ margin: .25em .5em 0 1em;
}
.content > .marginal
{
margin: 0;
padding: 0 .5em;
}
- #breadcrumb
+ #nav:target
{
- top: .3em;
+ padding-top: 0;
+ }
+ #nav:target > #menu
+ {
+ padding-left: 0;
+ }
+ #breadcrumb,
+ #nav:target > a.hide
+ {
+ top: .1em;
right: .3em;
}
+ #breadcrumb > a.hide:before,
+ #nav:target > a.hide:before
+ {
+ font-size: 300%; /** Vielfaches von 12px */
+ }
}
@media (max-width: 150px)
{
{
display: none;
}
+ #breadcrumb,
+ #nav:target > a.hide
+ {
+ top: .2em;
+ }
+ #breadcrumb > a.hide:before,
+ #nav:target > a.hide:before
+ {
+ font-size: 264%; /** Vielfaches von 12px */
+ }
}