diff -r 20e00017dd60 -r 10974bff4dae web/res/js/jquery.splitter.css
--- a/web/res/js/jquery.splitter.css	Fri Dec 11 18:11:13 2015 +0100
+++ b/web/res/js/jquery.splitter.css	Tue Dec 29 13:25:14 2015 +0100
@@ -11,14 +11,14 @@
     background-color: grey;
     cursor: col-resize;
     z-index:900;
-    width: 4px;
+    width: 7px;
 }
 
 .splitter_panel .hsplitter {
     background-color: #5F5F5F;
     cursor: row-resize;
     z-index: 800;
-    height: 4px;
+    height: 7px;
 }
 .splitter_panel .vsplitter.splitter-invisible,
 .splitter_panel .hsplitter.splitter-invisible {
@@ -54,4 +54,4 @@
   right: 0;
   bottom: 0;
   z-index: 1000;
-}
\ No newline at end of file
+}