Reduce font-size of console output in <pre>