Web config: vastly improve search in tree
Vastly improve search for items (files, names) in tree view:
- Press
F3
to focus search input - Search results will scroll into view
- Press
Enter
to select next result - Show number of results in tooltip
- Press
Esc
to clear search input
and also: reformat html in whole file index.html
Edited by Benoit Formet