Seite ohne Menü doch mit Marginalspalte (nur andere Farbe)
[website] / src / main / webapp / less / base / prettify.less
2016-01-19 Kai MoritzStyling von google-code-prettify an das Branding angepasst
2016-01-19 Kai Moritzgoogle-code-prettify hinzugefügt