font-family: 'DroidSerif', 'Times New Roman', 'Palatino Linotype' , serif;
letter-spacing: 0;
line-height: 1.5em;
- padding: 1em 3em 1em 5em;
+ padding: 1em 2em 1em 3em;
background-color: @hintergrund;
}
h1, h2, h3, h4, h5, h6
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