reduce font size of <span> in <pre>