@sciurus
u could try using this Stan... [also in the misc folder] font
just replace every "nonstep" in the config files which is behind some font-whatever tag with the font u like to be be displayed