# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309220402 -7200
# Node ID 5f845345176e351ce034c3593a7ef554fb75aa9d
# Parent  9729ed7171a60bf2241c50d28fd00817110546fc
browser side: selecting widget now change header color instead of dashed borders

diff -r 9729ed7171a6 -r 5f845345176e public/libervia.css
--- a/public/libervia.css	Tue Jun 28 01:54:36 2011 +0200
+++ b/public/libervia.css	Tue Jun 28 02:20:02 2011 +0200
@@ -846,11 +846,11 @@
 
 /* Misc */
 
-.selected_widget {
+.selected_widget .widgetHeader  {
     /* this property is set when a widget is the current target of the uniBox
      * (messages entered in unibox will be sent to this widget)
      */
-    border: 3px dashed red;
+    background: #cf2828 !important;
 }
 
 .infoFrame {