9 Commits

Author	SHA1	Message	Date
mappu	d1007bb645	skip redirect when searching (if javascript is available)	2017-12-10 14:19:35 +13:00
mappu	437e1f60e5	preserve line-selection hash fragment in URL when navigating to a search result	2017-12-10 13:57:32 +13:00
mappu	3c8631c0d7	fix search highlighting for previous	2017-12-10 13:57:16 +13:00
mappu	8568c4bdc2	replace js state setting, with URL targets in select values ; remove "PCRE" from regex tooltip	2017-12-10 12:50:11 +13:00
mappu	3f623782b7	use a constant for default font size	2017-12-10 12:19:48 +13:00
mappu	92e7064372	inline the toggle_element function	2017-12-10 12:19:35 +13:00
mappu	149e226729	move toggleMenu call from html onclick to DOM addEventListener	2017-12-10 12:19:07 +13:00
mappu	533527c890	remove mousetrap.js (APL) in favour of accesskey; add title tags	2017-12-10 11:57:59 +13:00
mappu	1e36c85880	initial commit	2017-08-13 13:57:08 +12:00