More pleasant and fluid font size

Making the view switcher size depend on the general font size is easier
to change (it adapts automagically). And not using bold looks better.