Fix height of the TOC slider
Merge pull request #73 from sharwell/toc-height

Fix height of the TOC slider