• @H2207OP
    link
    English
    11 year ago

    Added margin / padding to the .panel class in the gnome theme CSS file. It’s one of my go-to changes when theming gnome.