Sticky side-nav in docs/index.html