Whole-report search

All 9 scenarios hold

Every page carries a search box, and that box searches the whole report. The report writes one index beside its pages, tabletest-search-index.js at the output root, and every page loads it. Type in the box and the navigation tree gives way to the pages that match. A page matches when its title or its text holds what you typed. The match ignores case, and it can start anywhere in a word.

The browser does the matching. The rules below therefore state what the index holds, and not what a query gives back.