Collapsible sidebar in docs

plus, minor style tweak in docs