changeset 70:386d27dd3fbb

browser side: menu CSS fix
author Adrien Vigneron <adrienvigneron@mailoo.org>
date Fri, 17 Jun 2011 22:37:54 +0200
parents 4a157389a981
children c335675eef7c
files public/libervia.css
diffstat 1 files changed, 18 insertions(+), 9 deletions(-) [+]
line wrap: on
line diff
--- a/public/libervia.css	Wed Jun 15 21:05:47 2011 +0200
+++ b/public/libervia.css	Fri Jun 17 22:37:54 2011 +0200
@@ -100,15 +100,19 @@
 
 /* Misc Pyjamas stuff */
 
+.menuContainer {
+    margin: 0 32px 0 20px;
+}
+
 .gwt-MenuBar,.gwt-MenuBar-horizontal {
   /*background-color: #01FF78;
   border: 1px solid #87B3FF;
   cursor: default;*/
-    width: 97%;
+    width: 100%;
     height: 28px;
-    margin: 0 0 0 1.5%;
+    margin: 0;
     font: normal 0.8em/1.4em Arial, Helvetica, sans-serif;
-    padding: 5px 0 0 5px;	
+    padding: 5px 5px 0 5px;	
     line-height: 100%;
     box-shadow:0px 1px 4px #000
     -webkit-box-shadow: 0 1px 4px rgba(0, 0, 0, 0.6);
@@ -151,6 +155,16 @@
     cursor: pointer;
 }
 
+.menuSeparator {
+    width: 100%;
+}
+
+.menuSeparator.gwt-MenuItem-selected {
+    border: 0;
+    background: inherit;
+    cursor: default;
+}
+
 .gwt-MenuBar {
     filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=’#fff’, endColorstr=’#ccc’);
     background: -webkit-gradient(linear, left top, left bottom, from(#fff), to(#ccc));
@@ -181,6 +195,7 @@
     padding: 8px 15px;
 }
 
+
 .gwt-MenuBar .gwt-MenuItem-selected {
     background: #cf2828 !important;
     filter: progid:DXImageTransform.Microsoft.gradient(startColorstr=’#cf2828’, endColorstr=’#b01e1e’);
@@ -205,12 +220,6 @@
     -moz-border-radius: 0 0 9px 9px;
 }
 
-.gwt-MenuItem {
-  /*padding: 1px 20px 1px 10px;
-  font-size: smaller;
-  cursor: default;*/
-}
-
 
 .gwt-AutoCompleteTextBox {
   width: 80%;