Dabei auch ein paar Kleinigkeiten an den typografischen Grundvorgaben
korrigiert:
* <pre> 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 <body> 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...
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
+}
h2
{
font-size: 112.5%; /** 18px */
- line-height: 1.5em; /** 27px */
}
h3
{
h4
{
font-size: 87.5%; /** 14px */
- line-height: 1.5em; /** 21px */
}
h1 a, h2 a, h3 a, h4 a
{
}
p
{
- line-height: 1.5em; /** 21px */
margin: .5em 0 .5em 0;
}
ul, ol
border: .071428571em solid #000; /** 1px */
padding: .214285714em .5em; /** 3px 7px */
}
+pre
+{
+ line-height: 1.2em;
+}
hr
{
border: none;
@nochdunkler: #077600;
@hell: #42E73A;
@heller: #6EE768;
+@sehrhell: #CEF7C8;
@schrift: #000;
@hintergrund: #FFF;
projects / website / commitdiff