reduce <pre> font size