Não sei por que os botões da barra de título são muito grandes no Chrome, no Firefox ou em outros aplicativos que parecem adequados (tema Gnome-OSC).
This pode corrigir o problema, mas não quero ter uma barra de título extra.