Styling von google-code-prettify an das Branding angepasst
authorKai Moritz <km@feder-software.de>
Thu, 12 Dec 2013 18:20:03 +0000 (19:20 +0100)
committerKai Moritz <kai@juplo.de>
Tue, 19 Jan 2016 16:45:35 +0000 (17:45 +0100)
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...


No differences found