Comment 1 for bug 1215334

Michal, could you tell us exactly what the size of the font should be? It's apparently set to "x-large" already, and it doesn't go bigger than that if we want to specify the font in a resolution-independent way.