changeset 98:bd0ca532fdf9

browser side: changed borderWidgets' size to 10px
author Goffi <goffi@goffi.org>
date Tue, 28 Jun 2011 13:49:08 +0200
parents 3cbbe5c05aa5
children ca4fc2b2471b
files public/libervia.css
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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 */