Updating the font

I had to edit the actual ttf font file and re-export it to make the
numerals use OTF "lining" instead of "oldstyle". Now it looks pretty
good though.