.js"></script> <style type="text/css">.CodeMirror {border-top: 0px solid black; border-bottom: 0px solid black;}</style> <div id=nav>   <a href="http://codemirror.net"><h0>CodeMirror</h0><img id=logo src="../../doc/logo.png"></a>    <ul>     <li><a href="../../index.html">Home</a>     <li><a href="../../doc/manual.html">Manual</a>     <li><a href="https://github.com/marijnh/codemirror">Code</a>   </ul>   <ul>     <li><a href="../index.html">Language modes</a>     <li><a class=active href="#">