Descobri que não é possível alterar algum valor de altura numérica, porque a altura da barra de título da janela não é gerada dinamicamente. Ele é desenhado com base em um elemento gráfico que faz parte do tema e tem uma altura fixa.
Para fazer o que eu estava pedindo, seria necessário criar um novo tema que tenha as proporções desejadas.
Há também temas "compactos" que têm mais espaço porque desenham alguns elementos menores, mas são difíceis de encontrar e ainda não são tão pequenos quanto eu gostaria.