change font-size of <pre> to 15px