[gnome-builder] doc: add gnome overrides

[Christian Hergert <chergert src gnome org>]

commit e8a985c2afc8953e0eefbacfa4b2f5e15af6c086
Author: Christian Hergert <chergert redhat com>
Date:   Wed Feb 22 00:24:38 2017 -0800

    doc: add gnome overrides

 doc/conf.py |    8 +++++++-
 1 files changed, 7 insertions(+), 1 deletions(-)
---
diff --git a/doc/conf.py b/doc/conf.py
index f3167da..96eef1c 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -120,7 +120,13 @@ todo_include_todos = False
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'alabaster'
+html_theme = 'default'
+
+html_context = {
+    'css_files': [
+        '_static/theme_overrides.css', # GNOME specific overrides
+    ],
+}
 
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the