# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309261748 -7200
# Node ID bd0ca532fdf9b3e5b1115a36c2325e87dfe6dde6
# Parent  3cbbe5c05aa5935c8625b964cb751319c68eea33
browser side: changed borderWidgets' size to 10px

diff -r 3cbbe5c05aa5 -r bd0ca532fdf9 public/libervia.css
--- a/public/libervia.css	Tue Jun 28 13:37:02 2011 +0200
+++ b/public/libervia.css	Tue Jun 28 13:49:08 2011 +0200
@@ -629,11 +629,11 @@
 /* BorderWidgets */
 
 .bottomBorderWidget {
-    height: 5px !important;
+    height: 10px !important;
 }
 
 .leftBorderWidget, .rightBorderWidget {
-    width: 5px !important;
+    width: 10px !important;
 }
 
 /* Microblog */