7 Commits

Author	SHA1	Message	Date
Rob Garrison	93515e05cd	Docs: fix search next/prev result positioning	2016-04-20 06:59:51 -05:00
Rob Garrison	f6012b4e76	Docs: Fix search tooltip not hiding on menu close	2015-12-03 21:26:19 -06:00
Rob Garrison	4310107043	Docs: include horizontal scroll while jumping to search result	2015-10-21 06:58:48 -05:00
Mottie	f68b3898c0	more search menu tweaks & version bump	2013-11-19 22:21:16 -06:00
Mottie	dfd7b7cea0	Improved doc search menu; works with IE	2013-11-19 14:00:05 -06:00
Mottie	823769a6fd	Main doc styling changes & searching tweaks	2013-11-16 13:16:04 -06:00
Mottie	0d1d3d249c	Add searching to main document page	2013-11-16 01:01:26 -06:00