[libdazzle] theme: tweak Arc panel padding

[Christian Hergert <chergert src gnome org>]

commit 437bfc10134150e0794736d69729a57b60f08b7a
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jun 6 16:00:49 2017 -0700

    theme: tweak Arc panel padding

 data/themes/Arc/Arc-panels.css |   18 +++++++++++-------
 1 files changed, 11 insertions(+), 7 deletions(-)
---
diff --git a/data/themes/Arc/Arc-panels.css b/data/themes/Arc/Arc-panels.css
index 1c7699f..419ef49 100644
--- a/data/themes/Arc/Arc-panels.css
+++ b/data/themes/Arc/Arc-panels.css
@@ -12,22 +12,26 @@ dzldockstack dzltabstrip dzltab:checked {
 }
 
 dzldockstack dzltabstrip dzltab {
+  font-size: 0.9em;
   margin-top: 3px;
+  padding-bottom: 3px;
+  border-style: solid;
+  border-color: transparent;
+  border-right-width: 1px;
+  border-left-width: 1px;
+  border-top-width: 1px;
+  border-bottom-width: 0px;
 }
 
 dzldockstack dzltabstrip dzltab:backdrop:checked,
 dzldockstack dzltabstrip dzltab:backdrop {
   background-color: alpha(@theme_base_color, 0.25);
-  border-color: transparent;
 }
 
 dzldockstack dzltabstrip dzltab:checked {
-  border-style: solid;
-  border-color: @borders;
-  border-right-width: 1px;
-  border-left-width: 1px;
-  border-top-width: 1px;
-  border-bottom-width: 0px;
+  border-left-color: @borders;
+  border-right-color: @borders;
+  border-top-color: @borders;
 }
 
 dzldockstack dzltabstrip dzltab:checked:first-child {