Change to use hair space as thin space renders too wide.  In HTML, display
a space in a smaller font, to work around bug that displays thin spaces incorrectly