nikitonsky: Don’t use different font size for no reason