<!DOCTYPE html> <html>
<head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> <link href="https://fonts.googleapis.com/css?family=Cutive+Mono" rel="stylesheet"> <style type="text/css">%{style}</style> </head> <body> <div id="lines"> <pre>%{lines}</pre> </div> <div id="code">%{style_sheet}</div> </body>
</html>