X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=blobdiff_plain;f=docs%2Fsource%2Fconf.py;h=ffbf954c535fc6a46d1b59a1452f6f0d2b94537c;hb=8d3b452ed742e3b9e3e7e5ed9633038437fbdca9;hp=c1713e1801cb52d06a61e5e023f4a40fa83e3244;hpb=ed40a3697084f04c50ec4350f14775b4e1131cd9;p=eliot.git

diff --git a/docs/source/conf.py b/docs/source/conf.py
index c1713e1..ffbf954 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -64,10 +64,10 @@ language = None
 # List of patterns, relative to source directory, that match files and
 # directories to ignore when looking for source files.
 # This pattern also affects html_static_path and html_extra_path.
-exclude_patterns = []
+exclude_patterns = [u'_build', 'proposals', 'Thumbs.db', '.DS_Store']
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = None
+pygments_style = 'sphinx'
 
 
 # -- Options for HTML output -------------------------------------------------
@@ -75,13 +75,15 @@ pygments_style = None
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'alabaster'
+html_theme = 'sphinx_rtd_theme'
 
 # 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
 # documentation.
 #
-# html_theme_options = {}
+html_theme_options = {
+    'prev_next_buttons_location': 'both'
+}
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,