fix the side menu to always be visible
And now scrollspy works

though docson might cause some issues ...