• @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.