Better font size

Signed-off-by: Jeroen van Baarsen <jeroenvanbaarsen@gmail.com>