4 Commits

Author	SHA1	Message	Date
Joao Fernandes	3fff4472e6	Updates allpagelinks.md to use full paths (#1143)	2017-01-17 12:53:08 -08:00
John Mulhausen	53ec54f84c	Initial pass of autocomplete; removal of detritus (#723) ... * Initial pass of autocomplete; removal of detritus * Update menu.js * Added arrow-based navigation * CSS fixes * Add ranking to autocomplete result matching * Shorten 'see all' text * Filter for less-than-three	2016-12-06 16:39:04 -08:00
Gaetan	57b45d5f8d	fix duplicated page titles (#512) ... this also breaks page consistency, regarding anchor links (see #510) Signed-off-by: Gaetan de Villele <gdevillele@gmail.com>	2016-11-09 16:35:33 -08:00
John Mulhausen	7c615e83a3	All page links	2016-09-30 14:13:15 -07:00