html <pre> tag delete