/** Typografische Grundeinstellungen ******************************************/
-@import '../variables.less';
-
body
{
- font-family: 'DroidSerif', 'Times New Roman', 'Palatino Linotype' , serif;
+ .droid;
letter-spacing: 0;
line-height: 1.5em;
- padding: 1em 3em 1em 5em;
+ padding: .5em 1em 1em 1.5em;
background-color: @hintergrund;
}
h1, h2, h3, h4, h5, h6
{
- font-family: 'BPreplay', Helvetica, Arial, sans-serif;
- letter-spacing: 0;
- font-weight: bold;
+ .bpreplay;
color: @normal;
margin: 1em 0 .5em 0; /** 16px 0 8px 0 */
}
h1
{
- font-size: 187.5%; /** 30 px */
- line-height: 1em; /** 30px */
- padding: 0 0 .4em 0; /** 0 0 12px 0 */
- margin: 1em 0 .3em 0; /** 30px 0 9px 0 */
+ font-size: 125%; /** 20 px */
+ line-height: 1em; /** 20px */
+ padding: 0 0 .4em 0; /** 0 0 8px 0 */
+ margin: 1em 0 .3em 0; /** 20px 0 6px 0 */
}
h2
{
font-size: 112.5%; /** 18px */
- line-height: 1.5em; /** 27px */
}
h3
{
h4
{
font-size: 87.5%; /** 14px */
- line-height: 1.5em; /** 21px */
}
h1 a, h2 a, h3 a, h4 a
{
}
p
{
- line-height: 1.5em; /** 21px */
margin: .5em 0 .5em 0;
}
ul, ol
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
border-bottom: 1px dotted @nochdunkler;
}
+.logo
+{
+ .bpreplay;
+ color: @normal;
+}