[gnome-builder] devhelp: add css overrides

[Christian Hergert <chergert src gnome org>]

commit ff6d17897c252a91c93542df363554eb92223a1f
Author: Christian Hergert <christian hergert me>
Date:   Fri Jan 15 11:58:36 2016 -0800

    devhelp: add css overrides

 .../devhelp/gbp-devhelp-resources.gresource.xml    |    3 ++-
 plugins/devhelp/gbp-devhelp-view.c                 |    2 +-
 plugins/devhelp/theme/shared.css                   |    4 ++++
 3 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/plugins/devhelp/gbp-devhelp-resources.gresource.xml 
b/plugins/devhelp/gbp-devhelp-resources.gresource.xml
index b430988..040ef13 100644
--- a/plugins/devhelp/gbp-devhelp-resources.gresource.xml
+++ b/plugins/devhelp/gbp-devhelp-resources.gresource.xml
@@ -1,6 +1,7 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <gresources>
-  <gresource prefix="/org/gnome/builder/plugins/devhelp">
+  <gresource prefix="/org/gnome/builder/plugins/devhelp-plugin">
+    <file>theme/shared.css</file>
     <file>gbp-devhelp-view.ui</file>
   </gresource>
 </gresources>
diff --git a/plugins/devhelp/gbp-devhelp-view.c b/plugins/devhelp/gbp-devhelp-view.c
index 050bfd6..fe6b33b 100644
--- a/plugins/devhelp/gbp-devhelp-view.c
+++ b/plugins/devhelp/gbp-devhelp-view.c
@@ -129,7 +129,7 @@ gbp_devhelp_view_class_init (GbpDevhelpViewClass *klass)
 
   g_object_class_install_properties (object_class, LAST_PROP, properties);
 
-  gtk_widget_class_set_template_from_resource (widget_class, 
"/org/gnome/builder/plugins/devhelp/gbp-devhelp-view.ui");
+  gtk_widget_class_set_template_from_resource (widget_class, 
"/org/gnome/builder/plugins/devhelp-plugin/gbp-devhelp-view.ui");
   gtk_widget_class_bind_template_child (widget_class, GbpDevhelpView, web_view1);
 
   g_type_ensure (WEBKIT_TYPE_WEB_VIEW);
diff --git a/plugins/devhelp/theme/shared.css b/plugins/devhelp/theme/shared.css
new file mode 100644
index 0000000..e53dc97
--- /dev/null
+++ b/plugins/devhelp/theme/shared.css
@@ -0,0 +1,4 @@
+devhelppanel entry {
+  border-radius: 0;
+  border-width: 0 0 1px 0;
+}