Remove the unreproducible IE7 CSS workaround

console.js

@@ -198,18 +198,6 @@ window.onload = function () {
   runButton.onclick = run;
   clearButton.onclick = console.clear;
 
-  if (/MSIE 7.0/.test(navigator.userAgent)) {
-    /*
-     * For some reason, IE 7 messes up the textarea's width and height
-     * pretty badly. We hardcode the height, removing a little margin,
-     * and add some margin to the output.
-     * Setting the input's width causes it to somehow divide itself by 2
-     * on every keystroke.
-     */
-    input.style.height = document.documentElement.clientHeight - 7 + 'px';
-    output.style.marginLeft = '7px';
-  }
-
   if (!supportsVB()) {
     for (var i = 0; i < languageSelect.children.length; i++) {
       if (languageSelect.children[i].value.slice(0, 3) === 'vbs') {