Tudo no Firefox escalado, exceto a fonte do título da janela
Como posso obter um Firefox razoavelmente dimensionado?
Meu Firefox parece
Tudo menos o título parece ser ampliado. Aplicativos gtk regulares se comportam bem. Aplicativos Java tem uma barra de título similar, mas podem ser fixados principalmente com plaf.
Esta é uma tela escondida que é usada em uma configuração de exibição única, dupla e tripla. Eu configurei a resolução da tela para ser legível sem ajustes ocultos. 1600x900px. Eu tentei e desisti de fazer com que Wayland ou X trabalhassem em uma configuração oculta de outros monitores. Eu acho que são essas tentativas que me levaram aqui.
Se eu criar um novo usuário neste 17.10, obtenho um Firefox com aparência normal.
Uma outra complicação anterior que eu lembro é que eu já tinha instalado o tema gnome-shell flat-remix.
Como resolvo isso?