That's currently not possible. The default character size of 30 is hardcoded. It's difficult to say where that size could be provided. But since it's a *default font*, the easiest way for you would be to indeed load a font by yourself and specify the size you wanted.