Add TOC bar below into, toggleable in JS, always visible w/out JS