f980c1f17b
Also wrap the inline-toc in an accordion to save some space. Remove some of the unneeded javascript. Fixes #4521