Verlauf

Stéphane Goetz 22fd55e9f7 Switch search to use jsonp to load the index, fully works offline. #198		2020-04-24 22:58:52 +02: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	Switch search to use jsonp to load the index, fully works offline. #198	2020-04-24 22:58:52 +02:00
search.min.js.map	Switch search to use jsonp to load the index, fully works offline. #198	2020-04-24 22:58:52 +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.