Estou executando o Ubuntu 17.10 e estou tentando personalizar o tema do Gnome Shell modificando /usr/share/gnome-shell/theme/gnome-shell.css, mas acho que está indo muito devagar. Não parece haver nenhuma documentação, então tive que recorrer a tentativa e erro (muitos testes, muitos erros) e a estudar outros temas - por exemplo, Arc, Axiom, Human-NEXT e Maxim - para obter os efeitos que eu quero.
No entanto, ainda não consigo descobrir muitas coisas. O que é um ponteiro pop-box-popup-box ao contrário de um ponteiro de menu-pop-box? Onde é usado? É possível ter valores diferentes para .popup-menu-boxpointer para diferentes usos - por exemplo, a área de notificações em oposição aos menus de contexto do traço? Quais outras partes do CSS não funcionam além de não serem capazes de definir cores nomeadas usando
@define-color <name> <value>;
e não ser capaz de usar n-criança além do primeiro filho e do último filho?
Alguém encontrou alguma documentação ou pelo menos exemplos comentados? www.gnome.org tem muitas informações gerais, mas não há detalhes específicos sobre o shell, em oposição aos aplicativos gtk + que eu pude encontrar.