(GLUI) Allow use of non monospaced fonts