different font for different-resolution displays.