Sebastiaan van Stijn 6b6ef9fe0d js: move theme switcher to its own script, and use localstorage ... rewrite the script to not depend on jQuery, so that it can be run as soon as possible. Also switch to use localstorage instead of cookies, which is a more suitable mechanism for this, and use the same HTML include as was used on the landing-page for the whole site. Signed-off-by: Sebastiaan van Stijn <github@gone.nl>		2020-10-14 17:37:21 +02:00
..
anchorlinks.js	js/anchorlinks.js: remove URL from generated links	2020-04-23 10:27:59 +02:00
bootstrap.min.js	Theme Start (#1709)	2017-02-15 17:07:36 -08:00
docs.js	js: move theme switcher to its own script, and use localstorage	2020-10-14 17:37:21 +02:00
jquery.js	Theme Start (#1709)	2017-02-15 17:07:36 -08:00
metadata.js	js/metadata.js: fix missing titles and descriptions	2020-10-13 12:51:19 +02:00
redoc.min.js	Improve Engine API documentation (#5607)	2017-12-26 12:35:10 -08:00
redoc.min.map	Improve Engine API documentation (#5607)	2017-12-26 12:35:10 -08:00
search.js	glossary: remove glossary search scripts	2020-10-08 09:58:24 +02:00
theme-switcher.js	js: move theme switcher to its own script, and use localstorage	2020-10-14 17:37:21 +02:00
toc.js	Speed up site rendering for authors (#5241)	2017-12-19 18:15:15 -08:00