From 7a8daa5c1039a23a04c6d48f3c430a82af8fec7b Mon Sep 17 00:00:00 2001 From: Kai Moritz Date: Thu, 12 Dec 2013 19:20:03 +0100 Subject: [PATCH 1/1] Styling von google-code-prettify an das Branding angepasst MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Dabei auch ein paar Kleinigkeiten an den typografischen Grundvorgaben korrigiert: * 
 mit 1,5fachem Zeilenabstand sieht bescheiden aus.
 * "line-height: 1.5em" war öfter definiert, als nötig (da es eh schon
   für das Element  definiert war.

TODO:
Da das base.css als Media-Typ "screen" eingebunden wird, können die
speziellen Druck-Anpassungen des prettify-Stylings nicht greifen.
Da auch für das Branding ein angepasstes "print"-Styling definiert werden
sollte, wurde diese Anpassung aber aufgeschoben...
---
 src/main/webapp/less/base/prettify.less | 35 +++++++++++++++++++++++++
 src/main/webapp/less/base/typo.less     |  7 ++---
 src/main/webapp/less/variables.less     |  1 +
 3 files changed, 40 insertions(+), 3 deletions(-)

diff --git a/src/main/webapp/less/base/prettify.less b/src/main/webapp/less/base/prettify.less
index 400fd742..198f281a 100644
--- a/src/main/webapp/less/base/prettify.less
+++ b/src/main/webapp/less/base/prettify.less
@@ -50,3 +50,38 @@ li.L3,
 li.L5,
 li.L7,
 li.L9 { background: #eee }
+
+/* Anpassungen an das Juplo-Branding */
+
+ol.linenums
+{
+  margin: auto;
+  padding: 0 0 0 3em;
+}
+li.L0,
+li.L1,
+li.L2,
+li.L3,
+li.L4,
+li.L5,
+li.L6,
+li.L7,
+li.L8,
+li.L9
+{
+  padding: 0;
+}
+pre.prettyprint
+{
+  border-color: @dunkel;
+  overflow-x: scroll;
+}
+/* Alternate shading for lines */
+li.L1,
+li.L3,
+li.L5,
+li.L7,
+li.L9
+{
+  background: @sehrhell
+}
diff --git a/src/main/webapp/less/base/typo.less b/src/main/webapp/less/base/typo.less
index 431fe576..02993a3f 100644
--- 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,6 +96,10 @@ th, td
   border: .071428571em solid #000; /** 1px */
   padding: .214285714em .5em; /** 3px 7px */
 }
+pre
+{
+  line-height: 1.2em;
+}
 hr
 {
   border: none;
diff --git a/src/main/webapp/less/variables.less b/src/main/webapp/less/variables.less
index e2b4dcc6..125f9c1e 100644
--- a/src/main/webapp/less/variables.less
+++ b/src/main/webapp/less/variables.less
@@ -6,6 +6,7 @@
 @nochdunkler: #077600;
 @hell:        #42E73A;
 @heller:      #6EE768;
+@sehrhell:    #CEF7C8;
 
 @schrift:     #000;
 @hintergrund: #FFF;
-- 
2.20.1