Commit fec7874d authored by Frederik F's avatar Frederik F Committed by Jakub Steiner

Reduce vertical menu padding from 8px to 4px

parent 72010d78
......@@ -2127,7 +2127,7 @@ menu,
.menu,
.context-menu {
margin: 4px; // see https://bugzilla.gnome.org/show_bug.cgi?id=591258
padding: 8px 0px;
padding: 4px 0px;
background-color: $menu_color;
border: 1px solid $borders_color; // adds borders in a non composited env
border-radius: $menu_radius;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment