src/js/libs/jquery.splitter.css
changeset 1057 3f20f286d43e
parent 1033 c20df1c080e6
--- a/src/js/libs/jquery.splitter.css	Fri Sep 18 15:08:36 2015 +0200
+++ b/src/js/libs/jquery.splitter.css	Fri Sep 18 17:42:42 2015 +0200
@@ -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
+}