Make Full HD players see the small font as little as possible

It is too different from the big font. Nicer at smaller sizes, yes, so we still need it.