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 = "<html>\n " + document.documentElement.innerHTML + "\n</html>";
function foldJS(cm, where) { cm.foldCode(where, CodeMirror.braceRangeFinder); }
window.editor = CodeMirror.fromTextArea(te, {↔});
editor.on("gutterClick", foldJS);
function foldHTML(cm, where) { cm.foldCode(where, CodeMirror.tagRangeFinder); }
window.editor_html = CodeMirror.fromTextArea(te_html, {
extraKeys: {"Ctrl-Q": function(cm){foldHTML(cm, cm.getCursor());}}
editor_html.on("gutterClick", foldHTML);
foldHTML(editor_html, 13);
foldHTML(editor_html, 1);