rebuild with latest Bootstrap, adds prettify helper to format HTML output