4 commits

Author	SHA1	Message	Date
Robert Lord	53e2f23e5c	Static table of contents (#701) ... * Add showing/hiding submenus, fix sidebar styling, fix bug where includes wouldn't appear in ToC * Update ToC to highlight last header if page is scrolled to very bottom, fixes #280 * Set HTML title to current h1 section text, see #133 * Fix menu not opening on mobile * Add back increase toc item height on mobile * Fix padding bug * Add back in ToC sliding animation	2017-02-24 11:57:39 -06:00
Robert Lord	a4b9208af0	Move jquery to be local	2016-01-27 01:37:16 -06:00
Rouven Weßling	a38011b4a5	Remove some unused JS.	2015-06-02 23:02:41 +02:00
Rouven Weßling	384ffac2fd	Don't generate unnecessary JS files. ... Also exclude jquery.highlight from the nosearch version, as it's not needed there.	2015-06-01 00:29:57 +02:00

Renamed from source/javascripts/app/search.js (Browse further)