Modified pre font size in style.css to be 0.8em.