Mercurial > libervia-web

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
501:b483f1c88b7c 502:4aa627b059df
178 background: linear-gradient(to bottom, #eee, #aaa); 178 background: linear-gradient(to bottom, #eee, #aaa);
179 color: #444; 179 color: #444;
180 text-shadow: 0 1px 0 rgba(255, 255, 255, 0.6); 180 text-shadow: 0 1px 0 rgba(255, 255, 255, 0.6);
181 } 181 }
182 182
183 /* Misc Pyjamas stuff */ 183 /* Menu bars and items */
184 184
185 .gwt-MenuBar { 185 .gwt-MenuBar {
186 /* Common to all menu bars */ 186 /* Common to all menu bars */
187 margin: 0; 187 margin: 0;
188 } 188 }
274 .menuSeparator.gwt-MenuItem-selected { 274 .menuSeparator.gwt-MenuItem-selected {
275 border: 0; 275 border: 0;
276 background: inherit; 276 background: inherit;
277 cursor: default; 277 cursor: default;
278 } 278 }
279
280 .menuFlattenedCategory {
281 font-weight: bold;
282 font-style: italic;
283 padding: 8px 5px;
284 cursor: default;
285 }
286
287 .menuFlattenedCategory.gwt-MenuItem-selected {
288 /* !important are needed for the style to not be overwritten when the item is selected */
289 background-color: inherit !important;
290 background: inherit !important;
291 color: #444 !important;
292 cursor: default !important;
293 }
294
295 /* Misc Pyjamas stuff */
279 296
280 .gwt-AutoCompleteTextBox { 297 .gwt-AutoCompleteTextBox {
281 width: 80%; 298 width: 80%;
282 border: 1px solid #87B3FF; 299 border: 1px solid #87B3FF;
283 margin-top: 20px; 300 margin-top: 20px;