deMirror.fromTextArea(document.getElementById("code"), {
  lineNumbers: true,
  styleSelectedText: true
});
</script>

    <p>Simple addon to easily mark (and style) selected text.</p>

  </body>
</html>
