<!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>