Styling von google-code-prettify an das Branding angepasst
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...
projects / website / commit