escaped html of source code examples in slides