In the content of HTML pages, escape certain characters.

e.g. < becomes %lt;.