fixes for bug #197: menus
This commit is contained in:
parent
9b84bc5a65
commit
b261ffc56e
|
@ -29,7 +29,6 @@
|
||||||
.context-menu,
|
.context-menu,
|
||||||
.menu,
|
.menu,
|
||||||
.popup {
|
.popup {
|
||||||
padding: 4px 0;
|
|
||||||
border-radius: 2px;
|
border-radius: 2px;
|
||||||
border-image: none;
|
border-image: none;
|
||||||
background-color: @background;
|
background-color: @background;
|
||||||
|
@ -56,10 +55,17 @@
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Menu Item */
|
/* Menu Item */
|
||||||
|
.menuitem {
|
||||||
|
padding: 6px 4px;
|
||||||
|
}
|
||||||
|
.menu .menuitem,
|
||||||
|
.popup .menuitem {
|
||||||
|
padding: 4px 0px;
|
||||||
|
}
|
||||||
|
|
||||||
.menuitem,
|
.menuitem,
|
||||||
.menu .menuitem,
|
.menu .menuitem,
|
||||||
.popup .menuitem {
|
.popup .menuitem {
|
||||||
padding: 6px 4px;
|
|
||||||
border:none;
|
border:none;
|
||||||
|
|
||||||
-GtkMenuItem-arrow-scaling: 0.5;
|
-GtkMenuItem-arrow-scaling: 0.5;
|
||||||
|
|
Loading…
Reference in New Issue