# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1309298958 -7200
# Node ID 35917ffd1df4f9dda76c219b666fcf0a54a4f51a
# Parent  500a1529c19147ce4bb13e48679ce34cadb4f08e
browser side: CSS tabs fix

diff -r 500a1529c191 -r 35917ffd1df4 public/libervia.css
--- a/public/libervia.css	Tue Jun 28 23:36:19 2011 +0200
+++ b/public/libervia.css	Wed Jun 29 00:09:18 2011 +0200
@@ -861,7 +861,6 @@
 }
 
 .gwt-TabBar {
-  color: #fff;
   position: fixed;
   z-index: 10;
   bottom: 0;
@@ -894,9 +893,13 @@
   margin-left: 10px;
 }
 
-.gwt-TabBarItem-selected, div.gwt-TabBarItem:hover {
+.mainTabPanel .gwt-TabBarItem div {
+  color: #e7e5e5;
+}
+
+.mainTabPanel .gwt-TabBarItem-selected *, .mainTabPanel div.gwt-TabBarItem:hover *{
+  color: #444 !important;
   background-color: #fff;
-  color: #e7e5e5;
   filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=’#fff′, endColorstr=’#ccc’);
   background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#ccc));
   background: -moz-linear-gradient(top, #fff, #ccc);