tree d426d60afa9a64765eb219eec672fdda2873e9a0
parent 92507656d27d6413f59c0d784a117f907ec2d7eb
author Marc Kupietz <kupietz@ids-mannheim.de> 1788540261 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1788540261 +0200

Use tabular figures for the numbers in the result tables

The scores are compared column by column, which only works when the
digits line up. Fira Sans and Fira Sans Condensed set their digits
proportionally by default, where the widths differ by almost a third,
from 433 to 558 units for Fira Sans, so the columns came out ragged.

Both fonts carry tabular figures in their tnum feature, also in the
subsets Google Fonts serves, so no other font is needed:
font-variant-numeric: tabular-nums is enough, with font-feature-settings
as the fallback for browsers that do not know it.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Change-Id: I13ddaa2a2d5ea7282fc53112441249f83f3bc18f