/** Typografische Grundeinstellungen ******************************************/ body { .droid; letter-spacing: 0; line-height: 1.5em; padding: .5em 1em 1em 1.5em; background-color: @hintergrund; } h1, h2, h3, h4, h5, h6 { .bpreplay; color: @schrifthell; line-height: 1.25em; margin: 1.125em 0 .25em 0; /** Margin Top für h1 auf Marginalspalte abgestimmt! */ } h1 { font-size: 137.5%; /** 22 px */ color: @normal; padding: 0 0 .25em 0; /** 0 0 5px 0 */ } h2 { font-size: 125%; /** 20 px */ } h3 { font-size: 112.5%; /** 18px */ } h4 { /** font-size: 16px */ } h1 a, h2 a, h3 a, h4 a { color: @normal; border-style: none; } h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover { color: @dunkler; border-bottom: 1px solid @dunkler; } h1 a:focus, h2 a:focus, h3 a:focus, h4 a:focus, h1 a:active, h2 a:active, h3 a:active, h4 a:active { color: @dunkel; border-bottom: 1px solid @dunkel; } p { margin: .5em 0 .5em 0; } ul, ol { margin: .25em 0 .25em 0; /** 4px 0 4px 0 */ padding: 0 0 0 1em; /** 0 0 0 16px */ } ul { list-style-type: square; } ol { list-style-type: decimal; padding-left: 1.1875em; /** 19px */ } li { padding-bottom: .25em; /** 2px */ } table, th, td { padding: .1em .2em; } th, td { font-size: 87.5%; /** 14px */ line-height: 1.5em; /** 20px */ border: .071428571em solid #000; /** 1px */ padding: .214285714em .5em; /** 3px 7px */ } pre { line-height: 1.2em; } code { font-size: 120%; /** Otherwise, the font-size will be 75%, though not specified so anywhere!! */ line-height: 1.2em; } hr { border: none; border-top: 2px solid @normal; background-color: @normal; height: 1px; margin: 1em 0 1em 0; } a { color: @dunkler; border-bottom: 1px dashed @dunkler; } a:hover { color: @nochdunkler; border-bottom: 1px solid @nochdunkler; } a:focus, a:active { color: @dunkler; border-bottom: 1px solid @dunkler; } a:visited { border-bottom: 1px dotted @nochdunkler; } h2 a, h3 a, h4 a { color: @schrifthell; } h2 a:focus, h2 a:active, h3 a:focus, h3 a:active, h4 a:focus, h4 a:active { color: @normal; border-bottom: 1px solid @normal; } .logo { .bpreplay; color: @normal; }