style: reduce <pre> font-size.