When using a variable-width font, line numbers should use tabular numbers

[gubikmic]

(This is obviously very low priority)

When using a variable-width (i.e. non-monospaced) font, the line numbers look bad since e.g '1' is more narrow than '0'.

With the CSS font-variant-numeric: tabular-nums all digits would be of equal width.

[rebornix]

It's a good thing to add once the css property becomes standard https://developer.mozilla.org/en-US/docs/Web/CSS/font-variant-numeric