Example formatting and SyntaxHighlighter