Shrunk font

Shrunk font to accomodate times with large numbers.