This is a div within pre/pre in htmlsnip.htm.