Implement <hide> tag.
Fix layout issues with CodeMirror gutter.
Update to latest version of Paper.js, with added hidpi hack for now.
Fix issues with too many line-breaks on all pages.