Update CSS: font-size small in <pre>