Smaller koan font size.