[gnome-panel] theme: add margin to separator

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 32159b9ec712c80f946ae0efeee94f16d7c7359a
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Mon Jul 31 13:05:40 2017 +0300

    theme: add margin to separator

 data/theme/Adwaita/gnome-panel-dark.css |    4 ++++
 data/theme/Adwaita/gnome-panel.css      |    4 ++++
 data/theme/HighContrast/gnome-panel.css |    4 ++++
 3 files changed, 12 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/Adwaita/gnome-panel-dark.css b/data/theme/Adwaita/gnome-panel-dark.css
index 56edf7c..ea6e04e 100644
--- a/data/theme/Adwaita/gnome-panel-dark.css
+++ b/data/theme/Adwaita/gnome-panel-dark.css
@@ -26,6 +26,10 @@ gp-calendar-window label,
   color: #ffffff;
 }
 
+gp-applet.separator > separator {
+  margin: 2px 4px;
+}
+
 #clock-applet-button,
 #showdesktop-button {
   padding: 0px 4px;
diff --git a/data/theme/Adwaita/gnome-panel.css b/data/theme/Adwaita/gnome-panel.css
index a3d51b8..b53c26e 100644
--- a/data/theme/Adwaita/gnome-panel.css
+++ b/data/theme/Adwaita/gnome-panel.css
@@ -31,6 +31,10 @@ panel-applet > menubar > menuitem:hover > label {
   color: #ffffff;
 }
 
+gp-applet.separator > separator {
+  margin: 2px 4px;
+}
+
 #clock-applet-button,
 #showdesktop-button {
   padding: 0px 4px;
diff --git a/data/theme/HighContrast/gnome-panel.css b/data/theme/HighContrast/gnome-panel.css
index e65ae68..0c0e975 100644
--- a/data/theme/HighContrast/gnome-panel.css
+++ b/data/theme/HighContrast/gnome-panel.css
@@ -34,6 +34,10 @@ panel-applet > menubar > menuitem:hover > image {
   color: #ffffff;
 }
 
+gp-applet.separator > separator {
+  margin: 2px 4px;
+}
+
 #tasklist-button,
 #clock-applet-button,
 #showdesktop-button {