/* Menus */
-.menu {
- background-color: -gtk-win32-color(button, 4);
- border-color: shade (-gtk-win32-color(button, 4), 0.6);
- border-style: solid;
- border-width: 1px;
- padding: 2px;
-}
-
-.menuitem {
- color: -gtk-win32-color(button, 7);
-}
-
.menubar {
background-color: transparent;
border-width: 0;
background-color: transparent;
border-width: 0;
background-image: -gtk-win32-theme-part(menu, 8 1);
- padding: 3px 5px;
}
.menubar > .menuitem:prelight {
- background-color: transparent;
- border-width: 0;
background-image: -gtk-win32-theme-part(menu, 8 3);
}