lightened font weight: looks much nicer, I think!