Big font size of gnome-shell's elements
The font size of gnome-shell's elements is now way too big. Isn't Gnome-shell 3.36 supposed to respect the "interface font" settings?
Plata version : 0.9.5-1
Archlinux
gnome-shell : 3.36.0+35+gd9a75412c-1
Edited by Mathieu Provençal