.nv-tocprog{font-size:.72em;color:var(--nv-muted,#666);font-weight:500}
a.nv-toc-done{color:var(--nv-muted,#666);text-decoration:none}
a.nv-toc-done::after{content:' ✓';color:var(--nv-accent);font-size:.85em}