Estou usando o Ubuntu Gnome 15.04 e tenho problemas com o tema shell do Gnome. Eu quero consertar isso sozinho, mas ainda é uma bagunça. Eu acho que é sobre ".popup-separador-menu-item" no menu pop-up do painel do GNOME, eu não posso fazer o espaço mais curto como eu quero usando "preenchimento". Por favor, ajude e desculpe pelo meu mau inglês.
Aqui está o código (do tema do 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;
}
Imagem: link