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, {
extraKeys: {"Ctrl-Q": function(cm){ cm.foldCode(cm.getCursor()); }},
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"]