Removes the function to search through the page titles, which seems over-engineered as all titles easily fit on the screen.
Changes style class for the menu (see screenshot below)
Added sub-headers to the menu.
Updated titles for visualisation manual pages so they match the name in the UI.
Note: the updated menu uses ariaCurrentWhenActive which is not available for Angular 13. It will have an effect when #1529 is complete, though. In the meantime, I did not bother with setting aria-current.
Opinionated update to the manual navigation:
Note: the updated menu uses
ariaCurrentWhenActivewhich is not available for Angular 13. It will have an effect when #1529 is complete, though. In the meantime, I did not bother with settingaria-current.