diff --git a/styles/webbuild.css b/styles/webbuild.css
index 29d4556..1c7c4ff 100644
--- a/styles/webbuild.css
+++ b/styles/webbuild.css
@@ -255,6 +255,11 @@ div#container {
 .processes {
    width:100%;
 }
+.CodeMirror {
+   font-size:9pt;
+   font-family:monospace;
+   line-height:1em;
+}
 .editor {
    float:left;
    width:100%;
diff --git a/webbuild.js.inc b/webbuild.js.inc
index 0cba599..1a4aeb0 100644
--- a/webbuild.js.inc
+++ b/webbuild.js.inc
@@ -103,6 +103,7 @@ function ajax_getvalues(request,confirm) {
                   indentWithTabs: true,
                   onChange: function() { editorChanged(); }
                 });
+             editor.setSize(null, 500);
           } else if ((nodes[i].nodeName == "output") && (document.getElementById("outputbottom") != undefined)) {
              document.getElementById("outputbottom").scrollTop = document.getElementById("outputbottom").scrollHeight;
           } else if ((nodes[i].nodeName == "processes")) {