modifying display of <pre> elements