Philipp Wolfer f2899b9437 Highlight.js: Adapt CSS to new CSS class reference ... See http://highlightjs.readthedocs.org/en/latest/css-classes-reference.html		2016-03-09 08:58:53 +01:00
..
fonts
images
javascripts	Merge pull request #4067 from fantasticfears/translation	2016-03-08 15:58:34 +01:00
stylesheets	Highlight.js: Adapt CSS to new CSS class reference	2016-03-09 08:58:53 +01:00