suppressed a minor CodeMirror whitespace incompatibility and fixed a few minor bugs with new webtool layout