new font for <code> and <pre>