You could use a google font like Tiny5 by clicking the font drop down then click google font and then chose whatever font you want.
Still the built in Pixel font is much better.
