<br>On Saturday, February 25, 2012, Ashok Bakthavathsalam  wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Is there a way to set the font style used by the &quot;display&quot; function to be a &quot;fixed&quot; type?
</blockquote><div><br></div><div>Hi Ashok,</div><div><br></div><div>At the moment, no.  I&#39;ll put on my TODO to change the default font to &#39;fixed&#39;, and hope to have that ready as soon as possible.</div>