Styling von google-code-prettify an das Branding angepasst
[website] / src / main / webapp / js /
drwxr-xr-x   ..
-rw-r--r-- 2429 html5shiv.js
-rw-r--r-- 14551 prettify.js