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