docs/js
Sebastiaan van Stijn 7130372001
Remove highlight.js script as it was not enabled
Code is already highlighted through "rouge", so enabling highlight.js
only resulted in code being parsed/highlighted _twice_.

Highlight.js was only included on pages that explicitly enabled it,
which was not used anywhere, so removing it should not have an effect.

This patch removes highlight.js. There are some stylesheets that
can be removed and/or merged after this, but leaving that separate.

The github.css stylesheet is already included in the style.css
stylesheet (from the _scss directory), so was redundant.

Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
2020-10-09 01:10:48 +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/docs: don't traverse full TOC if we have a direct match 2020-10-08 16:39:01 +02:00
jquery.js Theme Start (#1709) 2017-02-15 17:07:36 -08:00
landing-page.js landing page: change style 2020-05-05 16:53:50 +02:00
menu.js implement autocomplete on landing page 2020-05-28 10:31:16 +02:00
metadata.js Remove library samples from metadata.js 2019-09-04 00:37:40 +02:00
modernizr.min.js Convert TOML to YAML, tweaks to work with Jekyll 2016-09-29 17:16:03 -07: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
stickyfill.min.js Fix sidebar scrolling (#2860) 2017-04-21 11:04:19 -05:00
toc.js Speed up site rendering for authors (#5241) 2017-12-19 18:15:15 -08:00