Do we want 14px or 13px fonts?