X-Git-Url: https://juplo.de/gitweb/?p=website;a=blobdiff_plain;f=src%2Fmain%2Fwebapp%2Fless%2Fbase%2Ftypo.less;h=2d6c284888489ecd9455f7e7ff54328267cd0071;hp=431fe576617558b88c7fe0390d40be1a53b861c7;hb=78ee3ab05e409a12e30e6f439560ce279d669b40;hpb=de5db62e28514298e5e7b776249fe5a90a14a8d6

diff --git a/src/main/webapp/less/base/typo.less b/src/main/webapp/less/base/typo.less
index 431fe576..2d6c2848 100644
--- a/src/main/webapp/less/base/typo.less
+++ b/src/main/webapp/less/base/typo.less
@@ -4,17 +4,15 @@
 
 body
 {
-  font-family: 'DroidSerif', 'Times New Roman', 'Palatino Linotype' , serif;
+  .droid;
   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
 {
-  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 */
 }
@@ -28,7 +26,6 @@ h1
 h2
 {
   font-size: 112.5%; /** 18px */
-  line-height: 1.5em; /** 27px */
 }
 h3
 {
@@ -38,7 +35,6 @@ h3
 h4
 {
   font-size: 87.5%; /** 14px */
-  line-height: 1.5em; /** 21px */
 }
 h1 a, h2 a, h3 a, h4 a
 {
@@ -67,7 +63,6 @@ h4 a:active
 }
 p
 {
-  line-height: 1.5em; /** 21px */
   margin: .5em 0 .5em 0;
 }
 ul, ol
@@ -99,6 +94,15 @@ th, td
   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;