Optimize menu of HTML export to tablets, and phones.
Description
Actually the navigation menu and the search field is useless on phones screen.
We should add a kind of hamburger menu to handle this.
Environment
None
Preliminary Test Cases
None
Assignee
Reporter
Labels
None
Access to limited visibility issues
None
Product platform
None
Ready for Development
None
Target version
None
Priority
