Margin links bei kleinen Smartphones schon früher minimiert
[website] / src / main / webapp / js / prettify.js
2016-01-19 Kai Moritzgoogle-code-prettify hinzugefügt