I think Jordi's patch is the only one that makes sense. Hard-coding *any* font family/size would only move the problem somewhere else (I can already picture people using low-resolution netbooks complaining about the font being too big).
I think Jordi's patch is the only one that makes sense. Hard-coding *any* font family/size would only move the problem somewhere else (I can already picture people using low-resolution netbooks complaining about the font being too big).