6 Commits

Author	SHA1	Message	Date
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