Verlauf

Stéphane Goetz d110f2685c Update dependencies, fix page readiness issues (#190 )		2020-02-07 22:16:48 +01:00
..
highlight.pack.js	rename _libraries to daux_libraries and _search_index to daux_search_index otherwise github pages makes the files invisible	2019-09-23 22:10:07 +02:00
README.md	rename _libraries to daux_libraries and _search_index to daux_search_index otherwise github pages makes the files invisible	2019-09-23 22:10:07 +02:00
search.css	rename _libraries to daux_libraries and _search_index to daux_search_index otherwise github pages makes the files invisible	2019-09-23 22:10:07 +02:00
search.min.js	Update dependencies, fix page readiness issues (#190 )	2020-02-07 22:16:48 +01:00
search.min.js.map	Update dependencies, fix page readiness issues (#190 )	2020-02-07 22:16:48 +01: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.