changing <pre> font size