+.menubar {
+ background-color: #f7f7f7;
+ /*background-color: -gtk-win32-color(button, 30);*/
+
+ border-width: 0 0 1px 0;
+ border-style: solid;
+ border-color: #ded3bd;
+}
+
+.menu > .menuitem:prelight {
+ background-color: -gtk-win32-color(button, 29);
+}
+
+.menubar > .menuitem:prelight,
+.menubar > .menuitem:prelight:focused {
+ background-image: -gtk-win32-theme-part(toolbar, 1 2);
+}
+
+.notebook {