What to do with the Main-menu at over-1000px widths. Should it be sticky, with ToC under it, or with ToC beside it, or with ToC collapsible?