Fix #363 - Docs: make the fixed menu on the left scrollable