Using HTML for bookmarklet code.