Smaller default font because squinting is fun