use circles for machines

b8666f1f · Georgios Dagkakis · 70d6ddcf · b8666f1f · b8666f1f · b8666f1f
Commit b8666f1f authored Apr 17, 2015 by Georgios Dagkakis
3 changed files
--- a/dream/simulation/Examples/GUI_instances/BatchAllInOneEmpty.json
+++ b/dream/simulation/Examples/GUI_instances/BatchAllInOneEmpty.json
@@ -513,6 +513,10 @@
        }
      ], 
      "css": {
+        "width": "80px",
+        "height": "80px",
+        "border-radius": "50px",
+        "line-height": "40px",
        "backgroundColor": "#fef", 
        "backgroundImage": "linear-gradient(to bottom, #fef 0%, #ede 100%)", 
        "border": "1px solid #cbc"

--- a/dream/simulation/Examples/GUI_models/BatchFullModel.json
+++ b/dream/simulation/Examples/GUI_models/BatchFullModel.json
@@ -513,6 +513,10 @@
        }
      ], 
      "css": {
+        "width": "80px",
+        "height": "80px",
+        "border-radius": "50px",
+        "line-height": "40px",
        "backgroundColor": "#fef", 
        "backgroundImage": "linear-gradient(to bottom, #fef 0%, #ede 100%)", 
        "border": "1px solid #cbc"

--- a/dream/simulation/Examples/GUI_models/BatchFullModelOperatorsACO.json
+++ b/dream/simulation/Examples/GUI_models/BatchFullModelOperatorsACO.json
@@ -513,6 +513,10 @@
        }
      ], 
      "css": {
+        "width": "80px",
+        "height": "80px",
+        "border-radius": "50px",
+        "line-height": "40px",
        "backgroundColor": "#fef", 
        "backgroundImage": "linear-gradient(to bottom, #fef 0%, #ede 100%)", 
        "border": "1px solid #cbc"