apparently font sizes are already fixed...

Rik