Styling von google-code-prettify an das Branding angepasst

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

diff --git a/src/main/webapp/less/base/prettify.less b/src/main/webapp/less/base/prettify.less
index 400fd74..198f281 100644 (file)
--- 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 }
 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
+}