History

Dustin Wilson 9d37044303 Menu improvements * Menus are now expanded when javascript is disabled/not working. * Menu for the current page now expands upon load.		2019-08-13 11:20:39 +02:00
..
daux.js	Menu improvements	2019-08-13 11:20:39 +02:00
highlight.pack.js	Upgrade to highlight.js 9.7.0, added all languages	2016-09-30 21:29:10 +02:00
README.md	Upgrade to highlight.js 9.7.0, added all languages	2016-09-30 21:29:10 +02:00

Updating Highlight.js

This build of highlight.js contains all languages. to achieve this, go to : https://highlightjs.org/download/

And run the following snipped in the console:

$$("input[type=checkbox]").forEach(function(checkbox) { checkbox.checked=true; })

This will tick all boxes instead of doing it by hand.