diff src/browser/public/libervia.css @ 502:4aa627b059df

browser_side: categories of the menus can be "flattened": - add the parameter "flat_level" to GenericMenuBar - the items of flattened sub-menus are displayed in the parent menu XXX: the implementation covers the current needs but is not fully completed: - the flattened categories of all levels are displayed the same way - items of flattened categories are appended to the parent menus instead of being inserted
author souliane <souliane@mailoo.org>
date Wed, 13 Aug 2014 15:06:40 +0200
parents 60be99de3808
children 8843ae9e92bd
line wrap: on
line diff
--- a/src/browser/public/libervia.css	Wed Aug 13 18:36:57 2014 +0200
+++ b/src/browser/public/libervia.css	Wed Aug 13 15:06:40 2014 +0200
@@ -180,7 +180,7 @@
     text-shadow: 0 1px 0 rgba(255, 255, 255, 0.6);
 }
 
-/* Misc Pyjamas stuff */
+/* Menu bars and items */
 
 .gwt-MenuBar {
     /* Common to all menu bars */
@@ -277,6 +277,23 @@
     cursor: default;
 }
 
+.menuFlattenedCategory {
+    font-weight: bold;
+    font-style: italic;
+    padding: 8px 5px;
+    cursor: default;
+}
+
+.menuFlattenedCategory.gwt-MenuItem-selected {
+    /* !important are needed for the style to not be overwritten when the item is selected */
+    background-color: inherit !important;
+    background: inherit !important;
+    color: #444 !important;
+    cursor: default !important;
+}
+
+/* Misc Pyjamas stuff */
+
 .gwt-AutoCompleteTextBox {
     width: 80%;
     border: 1px solid #87B3FF;