Restyle the docs sidebar and make it work with hotkeys - #3471

Restyle the docs sidebar and make it work with hotkeys#3471

nojaf merged 1 commit into

fsprojects:mainfsprojects/fantomas:mainfrom

nojaf:hotkey-docsnojaf/fantomas:hotkey-docsCopy head branch name to clipboard