(GLUI) Adapt to font size
Merge pull request #998 from lakkatv/lakka

(GLUI) Adapt to font size