Merge pull request #119 from ddemidov/docs-theme

Switch to bootstrap theme for documentation

Author: rhempel

docs/_static/custom.css

@@ -0,0 +1,14 @@
+pre {
+    box-shadow: 0px 1px 6px 0px lightgray;
+}
+
+dl.class {
+    padding: 5px;
+    box-shadow: 0px 1px 6px 0px lightgray;
+}
+
+pre {
+    overflow: auto;
+    word-wrap: normal;
+    white-space: pre;
+}

docs/_static/theme_overrides.css

@@ -0,0 +1,5 @@
+{# Import the theme's layout. #}
+{% extends "!page.html" %}
+
+{# Custom CSS overrides #}
+{% set bootswatch_css_custom = ['_static/custom.css'] %}

docs/_templates/page.html

@@ -22,6 +22,12 @@
 
 on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 
+if on_rtd:
+    import pip
+    pip.main(['install', 'sphinx_bootstrap_theme'])
+
+import sphinx_bootstrap_theme
+
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
@@ -117,12 +123,14 @@
 
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
-if not on_rtd:
-    html_theme = 'sphinx_rtd_theme'
-
-def setup(app):
-    # overrides for wide tables in RTD theme
-    app.add_stylesheet('theme_overrides.css')
+html_theme_path = sphinx_bootstrap_theme.get_html_theme_path()
+html_theme = 'bootstrap'
+html_theme_options = {
+        'bootswatch_theme': 'yeti',
+        'navbar_links' : [
+            ("GitHub", "https://github.com/rhempel/ev3dev-lang-python", True)
+            ]
+        }
 
 # 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