Altura de la barra de estado GTK3

Recientemente he actualizado algunos progtwigs a gtk3 (complemento deadbeef gtk3, pcmanfm-gtk3, l3afpad) y hay una cosa que me ha estado molestando:

¿Por qué la barra de estado triplica la altura de la versión gtk2?

Claramente no es porque haya más información o una fuente más grande: el text es el mismo para ambas versiones, es solo un margen de 10 px para la barra de estado en gtk3. Así que pensé "hey, gtk3 tiene un buen CSS, tal vez puedo ajustarlo con gtk.css oder settings.ini" – resulta que nah, en realidad no. Cualquier cosa en gtk.css me gusta

GtkStatusbar { margin:0px; margin-top:0px; margin-bottom:0px; } 

no hace nada, por desgracia.

Así que intenté jugar con GtkInspector en pcmanfm. Cuando selecciono todo el elemento de la barra de estado (debe seleccionar el espacio en blanco entre las tags izquierda y derecha, solo 10 px de ancho) y verifico las properties, veo que hay un valor de 10 px para todos los márgenes definidos para GtkWidget (excepto para el background y arriba, esos son 6). Ahora, si hago doble clic en ese valor y establezco "todos los márgenes" en 0, inmediatamente me da una barra de estado de gtk2: ¡regocíjate!

Así que sé que es posible, pero no he encontrado la manera de introducirlo en gtk.css. Me desespere lo suficiente como para intentarlo:

 GtkWidget { margin:0px; margin-top:0px; margin-bottom:0px; } 

pero realmente no esperaba que funcionara, así que por supuesto que no funcionó.

También intenté search soluciones en línea, pero solo terminé con algunos consejos muy específicos para degradar eclipse de gtk3 a gtk2 a fin de ahorrar espacio en la pantalla o este parche en engrampa que elimina esos márgenes.

Demonios, podría ser que haya una GUI-Tool para GNOME que hace esto en 5 segundos, y he estado buscando todo lo contrario.