[gnome-builder/wip/chergert/layout: 85/118] devhelp: style tweaks for the popover

[Christian Hergert <chergert src gnome org>]

commit 8a6a9f4e77ed6a4d79c51b0dce726ae578c600ab
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 3 02:30:39 2017 -0700

    devhelp: style tweaks for the popover
    
    Make the row height closer to that of the symbol-tree.

 plugins/devhelp/themes/shared.css |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/plugins/devhelp/themes/shared.css b/plugins/devhelp/themes/shared.css
index 9748f0d..0cc11b6 100644
--- a/plugins/devhelp/themes/shared.css
+++ b/plugins/devhelp/themes/shared.css
@@ -1,9 +1,10 @@
 popover.devhelp {
-  padding: 12px;
+  padding: 18px 12px 12px 6px;
 }
 popover.devhelp treeview {
   background: transparent;
   color: @theme_fg_color;
+  -GtkTreeView-vertical-separator: 6;
 }
 popover.devhelp treeview:backdrop {
   color: @theme_unfocused_fg_color;