From f94b5dbade76a6b608095b4fd9d8dee40fe1b0b3 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Tue, 1 Dec 2020 22:16:39 -0600
Subject: [PATCH] Switch to furo doc theme

---
 doc/conf.py   | 15 +++------------
 doc/index.rst |  2 ++
 2 files changed, 5 insertions(+), 12 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index 9c6a4522..5417468e 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -34,6 +34,7 @@ extensions = [
     "sphinx.ext.intersphinx",
     "sphinx.ext.mathjax",
     "sphinx.ext.graphviz",
+    "sphinx_copybutton",
 ]
 
 # Add any paths that contain templates here, relative to this directory.
@@ -107,23 +108,13 @@ pygments_style = "sphinx"
 
 # -- Options for HTML output ----------------------------------------------
 
-html_theme = "alabaster"
+html_theme = "furo"
 
 html_theme_options = {
-        "extra_nav_links": {
-            "🚀 Github": "https://github.com/inducer/meshmode",
-            "💾 Download Releases": "https://pypi.org/project/meshmode",
-            }
         }
 
 html_sidebars = {
-    "**": [
-        "about.html",
-        "navigation.html",
-        "relations.html",
-        "searchbox.html",
-    ]
-}
+        }
 
 
 # Add any paths that contain custom themes here, relative to this directory.
diff --git a/doc/index.rst b/doc/index.rst
index 9caf6446..8e936bf2 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -12,6 +12,8 @@ Contents:
    connection
    interop
    misc
+   🚀 Github <https://github.com/inducer/meshmode>
+   💾 Download Releases <https://pypi.org/project/meshmode>
 
 Indices and tables
 ==================
-- 
GitLab