fix(web): widen ordered-list marker gutter for 3+ digit item numbers - #6527

Merged

juliusmarminge merged 3 commits into

pingdotgg:mainfrom

lnieuwenhuis:dev/fix/ordered-list-marker-width

Aug 15, 2026

Commits on Aug 13, 2026

fix(web): widen ordered-list marker gutter for 3+ digit item numbers
lnieuwenhuis
committed
532c9d9
chore(web): host ordered-list marker evidence outside the branch
lnieuwenhuis
committed
f4830f7
fix(web): stop nested lists inheriting a widened marker gutter
lnieuwenhuis
committed
027c5f1