Centring on decimal separator

[CiaranOMara]

There is a Unicode character 'FIGURE SPACE' (U+2007,  ). That character may provide a solution for centring different fonts on a decimal separator.

JuliaData/DataFrames.jl#3096

[ronisbr]

Thanks @CiaranOMara !

What I does not understand is how to treat numbers that have different widths in non-monospace fonts. For example:

1111111111
0000000000

Both lines have 10 numbers.

[CiaranOMara]

Oh, that's annoying. I thought a font's numeric characters had the same width, and the purpose of the figure/numeric space was to facilitate grouping in precisely this type of scenario.

[ronisbr]

The only way to get this is by using monospaced fonts. However, nobody liked the idea to use monospace fonts in HTML printing.