GTK3 Menta themes: some more adjustments