48ffdc78a90cca17e0e03818b47a5b90b37a1bec
[website] / src / main / webapp / less / base / typo.less
1 /** Typografische Grundeinstellungen ******************************************/
2
3 body
4 {
5   .droid;
6   letter-spacing: 0;
7   line-height: 1.5em;
8   padding: .5em 1em 1em 1.5em;
9   background-color: @hintergrund;
10 }
11 h1, h2, h3, h4, h5, h6
12 {
13   .bpreplay;
14   color: @normal;
15   margin: 1em 0 .5em 0; /** 16px 0 8px 0 */
16 }
17 h1
18 {
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 */
23 }
24 h2
25 {
26   font-size: 112.5%; /** 18px */
27 }
28 h3
29 {
30   /** font-size: 16px */
31   /** line-height: 24px */
32 }
33 h4
34 {
35   font-size: 87.5%; /** 14px */
36 }
37 h1 a, h2 a, h3 a, h4 a
38 {
39   color: @normal;
40   border-style: none;
41 }
42 h1 a:hover,
43 h2 a:hover,
44 h3 a:hover,
45 h4 a:hover
46 {
47   color: @dunkler;
48   border-bottom: 1px solid @dunkler;
49 }
50 h1 a:focus,
51 h2 a:focus,
52 h3 a:focus,
53 h4 a:focus,
54 h1 a:active,
55 h2 a:active,
56 h3 a:active,
57 h4 a:active
58 {
59   color: @dunkel;
60   border-bottom: 1px solid @dunkel;
61 }
62 p
63 {
64   margin: .5em 0 .5em 0;
65 }
66 ul, ol
67 {
68   margin: .25em 0 .25em 0; /** 4px 0 4px 0 */
69   padding: 0 0 0 1em; /** 0 0 0 16px */
70 }
71 ul
72 {
73   list-style-type: square;
74 }
75 ol
76 {
77   list-style-type: decimal;
78   padding-left: 1.1875em; /** 19px */
79 }
80 li
81 {
82   padding-bottom: .25em; /** 2px */
83 }
84 table, th, td
85 {
86   padding: .1em .2em;
87 }
88 th, td
89 {
90   font-size: 87.5%; /** 14px */
91   line-height: 1.5em; /** 20px */
92   border: .071428571em solid #000; /** 1px */
93   padding: .214285714em .5em; /** 3px 7px */
94 }
95 pre
96 {
97   line-height: 1.2em;
98 }
99 code
100 {
101   font-size: 120%; /** Otherwise, the font-size will be 75%, though not specified so anywhere!! */
102   line-height: 1.2em;
103 }
104 hr
105 {
106   border: none;
107   border-top: 2px solid @normal;
108   background-color: @normal;
109   height: 1px;
110   margin: 1em 0 1em 0;
111 }
112 a
113 {
114   color: @dunkler;
115   border-bottom: 1px dashed @dunkler;
116 }
117 a:hover
118 {
119   color: @nochdunkler;
120   border-bottom: 1px solid @nochdunkler;
121 }
122 a:focus,
123 a:active
124 {
125   color: @dunkler;
126   border-bottom: 1px solid @dunkler;
127 }
128 a:visited
129 {
130   border-bottom: 1px dotted @nochdunkler;
131 }
132
133 .logo
134 {
135   .bpreplay;
136   color: @normal;
137 }