@nam1962

Merci beaucoup pour cette astuce, elle fonctionne super bien !

Comme elle a été écrite pour 20.04, je l’ai adaptée à 18.04 car c’est cette dernière qui tourne sur ma machine.
Donc, pour 18.04, j’ai modifié directement le fichier ~/.themes/monthème/gtk-3.0/gtk-contained.css du thème que j’utilise.

Encore merci nam1962 !