From 56619e516b60f7b4a712e091150521e5f70190ac Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Mon, 16 May 2011 20:11:57 +0200
Subject: [PATCH] Add 20px more width to the editor/cli

---
 demo/demo.js    | 2 +-
 demo/styles.css | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/demo/demo.js b/demo/demo.js
index d662c933..31bde34d 100644
--- a/demo/demo.js
+++ b/demo/demo.js
@@ -337,7 +337,7 @@ exports.launch = function(env) {
     }
 
     function onResize() {
-        var width = (document.documentElement.clientWidth - 300);
+        var width = (document.documentElement.clientWidth - 280);
         container.style.width = width + "px";
         cockpitInput.style.width = width + "px";
         container.style.height = (document.documentElement.clientHeight - 22) + "px";
diff --git a/demo/styles.css b/demo/styles.css
index d2046a8a..a4735753 100644
--- a/demo/styles.css
+++ b/demo/styles.css
@@ -1,6 +1,6 @@
 html {
     height: 100%;
-    width: 100%;    
+    width: 100%;
     overflow: hidden;
 }
 
@@ -24,7 +24,7 @@ body {
 #editor {
     position: absolute;
     top:  0px;
-    left: 300px;
+    left: 280px;
     bottom: 0px;
     right: 0px;
     background: white;
@@ -44,7 +44,7 @@ body {
 
 #cockpitInput {
     position: absolute;
-    left: 300px;
+    left: 280px;
     right: 0px;
     bottom: 0;