[gnome-builder/wip/plugins] devhelp: adjust styling to match Builder

[Christian Hergert <chergert src gnome org>]

commit 870b322c4e228284b7ed8807f00f5cd8fb356aff
Author: Christian Hergert <christian hergert me>
Date:   Sun Jun 7 20:37:26 2015 -0700

    devhelp: adjust styling to match Builder

 data/theme/Adwaita-shared.css      |   11 +++++++++++
 plugins/devhelp/gb-devhelp-panel.c |    9 +++++++++
 2 files changed, 20 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/Adwaita-shared.css b/data/theme/Adwaita-shared.css
index 8630926..01c7b70 100644
--- a/data/theme/Adwaita-shared.css
+++ b/data/theme/Adwaita-shared.css
@@ -54,3 +54,14 @@ GbWorkspacePane GtkStackSwitcher.flat .button {
 GbWorkspacePane GtkStackSwitcher .button:checked {
   border-bottom: 2px solid @theme_selected_bg_color;
 }
+
+
+/*
+ * Adjust devehlp styling.
+ */
+DhSidebar GtkSearchEntry {
+  border-left: none;
+  border-right: none;
+  border-top: none;
+  border-radius: 0px;
+}
diff --git a/plugins/devhelp/gb-devhelp-panel.c b/plugins/devhelp/gb-devhelp-panel.c
index 1ff5f26..52ca77d 100644
--- a/plugins/devhelp/gb-devhelp-panel.c
+++ b/plugins/devhelp/gb-devhelp-panel.c
@@ -80,6 +80,14 @@ gb_devhelp_panel_unload (GbWorkbenchAddin *addin)
 }
 
 static void
+fixup_box_border_width (GtkWidget *widget,
+                        gpointer   user_data)
+{
+  if (GTK_IS_BOX (widget))
+    gtk_container_set_border_width (GTK_CONTAINER (widget), 0);
+}
+
+static void
 gb_devhelp_panel_finalize (GObject *object)
 {
   GbDevhelpPanel *self = (GbDevhelpPanel *)object;
@@ -149,6 +157,7 @@ gb_devhelp_panel_init (GbDevhelpPanel *self)
   dh_book_manager_populate (self->book_manager);
 
   self->sidebar = dh_sidebar_new (self->book_manager);
+  gtk_container_foreach (GTK_CONTAINER (self->sidebar), fixup_box_border_width, NULL);
   gtk_container_add (GTK_CONTAINER (self), self->sidebar);
   gtk_widget_show (self->sidebar);
 }