Changed the css 'pre' class font size