(GLUI) Adapt to font size