我正在使用 Ubuntu Gnome 15.04，但 Gnome shell 主题有问题。我想自己修复它，但它仍然很乱。我认为这与 Gnome Panel 弹出菜单中的“.popup-separator-menu-item”有关，我无法使用“padding”将空间缩短到我想要的程度。请帮忙，抱歉我的英语不好。
以下是（Zukitre 主题的）代码：
.popup-separator-menu-item {
-gradient-height: 1px;
-gradient-start: rgba(255,255,255,0.1);
-gradient-end: rgba(255,255,255,0.1);
-margin-horizontal: 0em;
height: 1px;
padding: 8px 0;
}