tweak the GL widget font (for windows mostly)