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
{
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;