Author: Henry-Nicolas Tourneur <debian@nilux.be>
Forwarded: not-needed
Description: This patch remove the dependency on the fresco sphinx theme.
 That theme is not available in Debian so rtd is used instead.
 The patch also disable a potential privacy violation (see html_theme_options)
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -8,7 +8,7 @@
 
 import re
 import yoyo
-import fresco_sphinx_theme
+import sphinx_rtd_theme
 
 # -- Path setup --------------------------------------------------------------
 
@@ -51,10 +51,6 @@
     "sphinxcontrib.programoutput",
 ]
 
-# Add any paths that contain templates here, relative to this directory.
-templates_path = ["_templates"]
-template_bridge = "fresco_sphinx_theme.TemplateBridge"
-
 # The suffix(es) of source filenames.
 # You can specify multiple suffix as a list of string:
 #
@@ -77,7 +73,7 @@
 exclude_patterns = ["_build", "Thumbs.db", ".DS_Store"]
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = "solarized-dark"
+pygments_style = "native"
 
 
 # -- Options for HTML output -------------------------------------------------
@@ -85,19 +81,7 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = "fresco_sphinx_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 = {
-    "repo_url": "https://hg.sr.ht/~olly/yoyo",
-    "issues_url": "https://todo.sr.ht/~olly/yoyo",
-}
-
-# Add any paths that contain custom themes here, relative to this directory.
-html_theme_path = fresco_sphinx_theme.get_theme_paths()
+html_theme = "sphinx_rtd_theme"
 
 # 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,