Is it possible to use a font for the gnome panel which isn't the default font. I tried to define the font inside a gnome theme but that doesn't chnge anything and if i write something like : gtk-font-name = panel-menu=fontname in ~/.config/gtk-3.0/settings.ini nothing change.
You could probably do this by editing the CSS for the panel in
I'm not sure I've got the selector completely correct though. You can look at the Ambiance theme file here at