/css">$highlighting-css$</style>$endif$

    $for(css)$
    <link rel="stylesheet" href="$css$" $if(html5)$$else$type="text/css" $endif$/>
    $endfor$

  </head>
  <body>

$for(include-before)$
$include-before$
$endfor$

$body$

<script type="text/javascript">
(function() {
  // add appropriate classes to h1 and its parent div
  var i, j, d, s, el, els = document.getElementsByTagName('h1');
  for (i = 0; i < els.length; i++) {
    el = els[i];
    el.parentNode.className += ' section-' + (i + 1);
    if (i