Change the font size to work around #532

We need to revisit this later.