improve css.

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

@@ -46,7 +46,7 @@ body {
 /* Setting for dialog */
 
 label, input { display:block; }
-input.text { margin:4px; padding:0; }
+input.text { margin:4px; padding:0; width:95%; }
 fieldset { padding:0; border:0; margin-top:25px; }
 h1 { font-size: 1.2em; margin: .6em 0; }
 div#users-contain { width: 350px; margin: 20px 0; }
@@ -203,20 +203,18 @@ path, ._jsPlumb_endpoint { cursor:pointer; }
 }
 
 .tool {
-  border: 1px dotted gray;
+  border: 1px solid lightgray;
   /*margin-top: 20px;
   margin-left: 35px;*/
-  width:5em;
+  width:7em;
   height:2em;
   z-index: 10001;
-  border-radius: 10px;
   color: gray;
   font-family:serif;
   font-style:italic;
   padding-top:0.9em;
   font-size:0.9em;
-  margin-top: 1em;
-  margin-left: 1em; 
+  margin:0.5em;
   display: inline-block;
 }
 
@@ -235,3 +233,35 @@ path, ._jsPlumb_endpoint { cursor:pointer; }
   width:80%;
   margin-bottom:4px;
 }
+
+.Dream-Source {
+  background-color:#ffe;
+}
+
+.Dream-Machine {
+  background-color:#fef;
+}
+
+.Dream-Queue {
+  background-color:#eff;
+}
+
+.Dream-Exit {
+  background-color:#fee;
+}
+
+.Dream-Repairman {
+  background-color:#eef;
+}
+
+.window {
+  border:1px solid lightgray;
+  width:100px;
+  height:64px;
+  position:absolute;
+  color:black;
+  font-family:serif;
+  font-style:italic;
+  padding-top:0.9em;
+  font-size:0.9em;
+}

dream/platform/static/index.html

@@ -7,7 +7,6 @@
   <link rel="stylesheet" href="css/skeleton.css">
   <link rel="stylesheet" href="css/layout.css">
   <link rel="stylesheet" href="css/demo-new.css">
-  <link rel="stylesheet" href="css/flowchartDemo.css">
   <link rel="stylesheet" href="css/jquery-ui.css">
 </head>
 

dream/platform/static/src/dream.js

@@ -50,7 +50,7 @@
       var render_element = $("[id=tools]");
       for (var key in configuration) {
         if (key !== 'Dream-Configuration') {
-          render_element.append('<div id="' + key + '" class="tool">' +
+          render_element.append('<div id="' + key + '" class="tool ' + key + '">' +
             key.split('-')[1] + "<ul/></div>");
         }
       }

dream/platform/static/src/jsonPlumb.js

@@ -245,7 +245,7 @@
       if (coordinate !== undefined) {
         coordinate = priv.updateElementCoordinate(element.id, coordinate);
       }
-      render_element.append('<div class="window" id="' +
+      render_element.append('<div class="window ' + element._class.replace('.', '-') + '" id="' +
         element.id + '">' + element.id + '</div>');
       box = $("#" + element.id);
       box.css("top", coordinate.top);