* Optimized popover padding. Fixed #439

pull/483/head
Megax 2016-06-12 14:45:48 +02:00
parent 33891784a9
commit 3f9df111ec
1 changed files with 6 additions and 5 deletions

View File

@ -43,7 +43,7 @@
@include exports("menu") {
menu, .menu {
padding: $spacing;
padding: 0;
border-radius: 0;
border: 0;
background-color: $menu_bg_color;
@ -192,8 +192,6 @@
@include exports("popover") {
popover.background {
margin: 10px;
padding: $spacing;
border-radius: $roundness;
background-clip: border-box;
background-color: $menu_bg_color;
@ -280,7 +278,9 @@
//@extend %undecorated_button;
&:hover { background-color: $selected_bg_color; color: $selected_fg_color }
&:active, &:selected { &, arrow { @extend %selected_items; } }
&:checked { color: $fg_color; }
// FIXME: temporary workaround
@ -292,6 +292,7 @@
&.flat arrow {
&.left { -gtk-icon-source: -gtk-icontheme("pan-start-symbolic"); }
&.right { -gtk-icon-source: -gtk-icontheme("pan-end-symbolic"); }
}
}