diff --git a/doc/conf.py b/doc/conf.py index 9c6a4522b88b64e6a5f445cbc4f4e0e51ea95fc1..5417468e69bfabf918b1e7e9211f5cb03f5051f7 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 9caf6446ed33cfb3dcc7fa6d6d0f4782426efbbe..8e936bf2605061cc56acc0654ff58a0e207f958d 100644 --- a/doc/index.rst +++ b/doc/index.rst @@ -12,6 +12,8 @@ Contents: connection interop misc + 🚀 Github + 💾 Download Releases Indices and tables ==================