Cleanup accidental commit of merge conflict
Tune color, border, weights
Bring back scrollsnap (accidental comment out)
Support show/hide TOC panel
Simplify TOC hide/show