Update main.js

Encode tags inside a <pre> element