window.onload = function() { var te = document.getElementById("code"); var sc = document.getElementById("script"); te.value = (sc.textContent || sc.innerText || sc.innerHTML).replace(/^\s*/, "");
var te_html = document.getElementById("code-html"); te_html.value = document.documentElement.innerHTML;
var te_markdown = document.getElementById("code-markdown"); te_markdown.value = "# Foo\n## Bar\n\nblah blah\n\n## Baz\n\nblah blah\n\n# Quux\n\nblah blah\n"
window.editor = CodeMirror.fromTextArea(te, {↔}); editor.foldCode(CodeMirror.Pos(13, 0));
window.editor_html = CodeMirror.fromTextArea(te_html, { extraKeys: {"Ctrl-Q": function(cm){ cm.foldCode(cm.getCursor()); }}, gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"]
editor_html.foldCode(CodeMirror.Pos(0, 0));
editor_html.foldCode(CodeMirror.Pos(21, 0));
window.editor_markdown = CodeMirror.fromTextArea(te_markdown, {