Enlarges border-radius for <pre> tag on prettify css