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
+}