I'm using Ubuntu 12.04.1 with Gnome Classic. I added some launchers on the top panel, but they are placed too tightly (also take a look at separators, they aren't really separate anything):
Can I increase the spacing between the launchers?
AFAIK this can be done by the editing of ~/.config/gtk-3.0/gtk.css. I've managed to toggle bold font setting for the panel this way. But I haven't found which parameter have an influence on the launcher and applet spacing.
Also the size of icons seems too big for me – they occupy all place from the top to the bottom of the panel, without any border. They were smaller when I was using 10.04. Is there any way to reduce their size also?
Best Answer
I've finally managed to resolve spacing problem and ready to share my solution. Add to
~/.config/gtk-3.0/gtk.css
following lines:First line affects spacing of the menu headers (Applications and Places), second one affects launchers spacing. Here is the result:
You can increase spacing even more, changing second padding parameter (6 pixel will make it even with the spacing of the Indicator Applet icons in the top right corner), but I'm pretty happy with 4 pixel. Remember that increasing of padding will also make task buttons on the bottom panel wider, as they are also Panel Widgets. Or you can set spacing separately for the menu headers and launchers - it's up to you:
Update: Finally found the way to increase panel separators padding. Add to
~/.config/gtk-3.0/gtk.css
several more lines:First padding parameter will reduce the length of separators, second one will make the spacing on both sides of the separator. Here is the final result: