Recientemente reduje el tamaño de la barra de título en la versión Fedora 24 Gnome 3.20. Básicamente, quiero reducir el tamaño de cada widget para reducir el espacio que ocupa la aplicación en la pantalla. Cualquier ayuda se agradece.
¿Hay alguna manera de reducir el tamaño de todos los widgets, incluidos los botones, menús/elementos de menú, etc., en Gnome 3.20 o superior?