Should this be on the whole ToC rather than part of the text of a link? That way `1.1` and `10.1` don't end up being different widths? (I was testing my HTML+CSS differ and noticed this)