• @[email protected]OP
      link
      fedilink
      English
      12 years 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.