resizable widget container

packages/web/src/theme.js

@@ -1,30 +1,33 @@
 export default {
   widgetMenu: {
     iconSize: 60,
-    background: "#222",
-    iconFontSize: "23pt",
-    iconFontColor: "#eee",
-    backgroundHover: "#555",
-    backgroundSelected: "#4CAF50",
+    background: '#222',
+    iconFontSize: '23pt',
+    iconFontColor: '#eee',
+    backgroundHover: '#555',
+    backgroundSelected: '#4CAF50',
   },
   leftPanel: {
-    width: 300,
-    background: "#ccc"
+    // width: 300,
+    background: '#ccc',
   },
   tabsPanel: {
     height: 31,
-    background: "#ddd",
-    hoverFont: "#338"
+    background: '#ddd',
+    hoverFont: '#338',
   },
   statusBar: {
     height: 20,
-    background: "#00c"
+    background: '#00c',
   },
   toolBar: {
     height: 30,
-    background: "#eee",
+    background: '#eee',
   },
   mainArea: {
-    background: "#eee"
-  }
+    background: '#eee',
+  },
+  splitter: {
+    thickness: 3,
+  },
 };