Fix small framework bug.

When codemirror is not active (it is removed from hidden divs) then html inside the html div becomes part of the dom, meaning textContent does not return the right html content for posting. Posting the innerHTML of the html content div fixes this.