Small tweaks to TOC: don't make the button sticky when scrolling, it's annoying