Estou executando o Ubuntu 16.10 com o ambiente de desktop gnome. A exibição na minha máquina é de alta densidade de pixels, portanto, tenho a escala da janela HiDPI ativada. Eu segui este tutorial para fazer tudo parecer bonito, e parece ter feito o truque. também tenho layout.css.PixelsPerPx definido como 1.5 para dimensionar o firefox para a exibição HiDPI.
Há mais uma coisa que gostaria de corrigir. Quando maximizada, a barra de título da janela do firefox tem pequenas lacunas em ambos os lados, como pode ser visto nesta imagem:
Alguém sabe como isso pode ser corrigido? Idealmente, gostaria que a barra de título abrangesse essa região com lacunas.
Parece que outros programas, como o navegador de arquivos do sistema, não têm essas lacunas.