Created attachment 9277 Panel screenshot Hi all, Does anyone else find value in choosing a panel font size different from the general font size of the system? In my case, I shrinked my panel to 16px and my default font size for the system just looked too large on that small panel. Had to edit .config/gtk-3.0/gtk.css to shrink font size just for the panel which is doable. I just thought I put it out for discussion if such a setting would be beneficial to others too. Thanks!
I think we already have enough options in the panel and the solution you describe is acceptable from my pov. We could add it to the documentation of panel customization. If you want to draft something please submit an issue on gitlab against https://gitlab.xfce.org/www/wiki.xfce.org