Fix alignment of line/word counts

Since the tool tip font is (no longer) fixed width, we need to use figure space as padding to make the digits align.

Additionally the thousand separator has been changed from a comma to a thin space, such that lines with different number of thousand groups can still be aligned properly.