tweak monospace text sizing, which looked too small