body
{
- font-family: 'DroidSerif', 'Times New Roman', 'Palatino Linotype' , serif;
+ .droid;
letter-spacing: 0;
line-height: 1.5em;
padding: 1em 2em 1em 3em;
}
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 */
}
{
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;