1 /** Typografische Grundeinstellungen ******************************************/
8 padding: .5em 1em 1em 1.5em;
9 background-color: @hintergrund;
11 h1, h2, h3, h4, h5, h6
15 margin: 1em 0 .5em 0; /** 16px 0 8px 0 */
19 font-size: 125%; /** 20 px */
20 line-height: 1em; /** 20px */
21 padding: 0 0 .4em 0; /** 0 0 8px 0 */
22 margin: 1em 0 .3em 0; /** 20px 0 6px 0 */
26 font-size: 112.5%; /** 18px */
30 /** font-size: 16px */
31 /** line-height: 24px */
35 font-size: 87.5%; /** 14px */
37 h1 a, h2 a, h3 a, h4 a
48 border-bottom: 1px solid @dunkler;
60 border-bottom: 1px solid @dunkel;
64 margin: .5em 0 .5em 0;
68 margin: .25em 0 .25em 0; /** 4px 0 4px 0 */
69 padding: 0 0 0 1em; /** 0 0 0 16px */
73 list-style-type: square;
77 list-style-type: decimal;
78 padding-left: 1.1875em; /** 19px */
82 padding-bottom: .25em; /** 2px */
90 font-size: 87.5%; /** 14px */
91 line-height: 1.5em; /** 20px */
92 border: .071428571em solid #000; /** 1px */
93 padding: .214285714em .5em; /** 3px 7px */
101 font-size: 120%; /** Otherwise, the font-size will be 75%, though not specified so anywhere!! */
107 border-top: 2px solid @normal;
108 background-color: @normal;
115 border-bottom: 1px dashed @dunkler;
120 border-bottom: 1px solid @nochdunkler;
126 border-bottom: 1px solid @dunkler;
130 border-bottom: 1px dotted @nochdunkler;