;
            for( var i = 0; i<lines.length; i++ ) {
                lines[i] = lines[i]
                    .replace(/(#.+)/,'<span class="code_comment">$1</span>'); // comments
            }
            n.innerHTML = lines.join("\n");
        });


    });
  </script>
  <body>
    <div class="container" style="padding-bottom: 3em">

      <h1>JBrowse Quick-Start Tutorial</h1>

      <p>
        This short guide should hopefully be enough to get you started
        using JBrowse.  If you run into trouble,