Styling von google-code-prettify an das Branding angepasst

[website] / src / main / webapp / less / base / typo.less

diff --git a/src/main/webapp/less/base/typo.less b/src/main/webapp/less/base/typo.less
index edd8b46..02993a3 100644 (file)
--- a/src/main/webapp/less/base/typo.less
+++ b/src/main/webapp/less/base/typo.less
@@ -28,7 +28,6 @@ h1
 h2
 {
   font-size: 112.5%; /** 18px */
-  line-height: 1.5em; /** 27px */
 }
 h3
 {
@@ -38,7 +37,6 @@ h3
 h4
 {
   font-size: 87.5%; /** 14px */
-  line-height: 1.5em; /** 21px */
 }
 h1 a, h2 a, h3 a, h4 a
 {
@@ -67,7 +65,6 @@ h4 a:active
 }
 p
 {
-  line-height: 1.5em; /** 21px */
   margin: .5em 0 .5em 0;
 }
 ul, ol
@@ -99,8 +96,16 @@ th, td
   border: .071428571em solid #000; /** 1px */
   padding: .214285714em .5em; /** 3px 7px */
 }
+pre
+{
+  line-height: 1.2em;
+}
 hr
 {
+  border: none;
+  border-top: 2px solid @normal;
+  background-color: @normal;
+  height: 1px;
   margin: 1em 0 1em 0;
 }
 a