improve css.

dream/platform/static/css/demo-new.css

@@ -251,11 +251,11 @@ path, ._jsPlumb_endpoint { cursor:pointer; }
 }
 
 .Dream-Exit {
-  background-color:#fee;
+  background-color:#eef;
 }
 
 .Dream-Repairman {
-  background-color:#eef;
+  background-color:#fdd;
 }
 
 .window {
@@ -269,3 +269,7 @@ path, ._jsPlumb_endpoint { cursor:pointer; }
   padding-top:0.9em;
   font-size:0.9em;
 }
+
+#debug textarea {
+  width:100%;
+}

dream/platform/static/index.html

@@ -54,18 +54,13 @@
   </div>
 
   <div id="debug">
-    <div class="five columns">
+    <div class="six columns alpha">
       <div>Input</div>
-        <textarea rows="20" cols="47" id="json_output" style="align:left; width:100%">
-        </textarea>
-      </div>
+      <textarea rows="20" cols="47" id="json_output"></textarea>
     </div>
-    <div class="five columns">
+    <div class="six columns alpha">
       <div>Result</div>
-        <textarea rows="20" cols="47" id="json_result" style="align:left; width:100%">
-        </textarea>
-        <td></td>
-      </div>
+      <textarea rows="20" cols="47" id="json_result"></textarea>
     </div>
 
   </div>

dream/platform/static/src/jsonPlumb.js

@@ -25,7 +25,6 @@
     priv.initJsPlumb = function () {
       jsPlumb.setRenderMode(jsPlumb.SVG);
       var color = "#00f";
-      var gradient_color = "#09098e";
       jsPlumb.importDefaults({
         // default drag options
         DragOptions: {
@@ -50,18 +49,12 @@
             location: 1,
             id: "arrow",
             length: 14,
+            width: 12,
             foldback: 0.8
           }]
         ],
         PaintStyle: {
-          gradient: {
-            stops: [
-              [0, color],
-              [0.5, gradient_color],
-              [1, color]
-            ]
-          },
-          lineWidth: 5,
+          lineWidth: 2,
           strokeStyle: color
         },
         Anchor: "Continuous",
@@ -307,11 +300,9 @@
 
       // Add endPoint to allow drawing connections
       var color = "#00f";
-      var gradient_color = "#09098e";
       // Different endpoint color for Repairman
       if (element._class === "Dream.Repairman") {
         color = "rgb(189,11,11)";
-        gradient_color = "rgb(255,0,0)";
       }
       var endpoint = {
         endpoint: "Rectangle",