1 /** Typografische Grundeinstellungen ******************************************/
8 padding: 0 1em 1em 1.5em;
9 background-color: @hintergrund;
11 h1, h2, h3, h4, h5, h6
16 margin: 1.125em 0 .25em 0; /** Margin Top für h1 auf Marginalspalte abgestimmt! */
20 font-size: 137.5%; /** 22 px */
22 padding: 0 0 .25em 0; /** 0 0 5px 0 */
26 font-size: 125%; /** 20 px */
30 font-size: 112.5%; /** 18px */
34 /** font-size: 16px */
36 h1 a, h2 a, h3 a, h4 a
47 border-bottom: 1px solid @dunkler;
59 border-bottom: 1px solid @dunkel;
63 margin: .5em 0 .5em 0;
67 margin: .25em 0 .25em 0; /** 4px 0 4px 0 */
68 padding: 0 0 0 1em; /** 0 0 0 16px */
72 list-style-type: square;
76 list-style-type: decimal;
77 padding-left: 1.1875em; /** 19px */
81 padding-bottom: .25em; /** 2px */
89 font-size: 87.5%; /** 14px */
90 line-height: 1.5em; /** 20px */
91 border: .071428571em solid #000; /** 1px */
92 padding: .214285714em .5em; /** 3px 7px */
100 font-size: 120%; /** Otherwise, the font-size will be 75%, though not specified so anywhere!! */
106 border-top: 2px solid @normal;
107 background-color: @normal;
114 border-bottom: 1px dashed @dunkler;
119 border-bottom: 1px solid @nochdunkler;
125 border-bottom: 1px solid @dunkler;
129 border-bottom: 1px dotted @nochdunkler;
146 border-bottom: 1px solid @normal;