Use sphinx-nefertiti theme for the docs

docs/conf.py

@@ -14,6 +14,7 @@
 import os
 import sys
 
+
 # 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.
@@ -27,7 +28,7 @@
 # Add any Sphinx extension module names here, as strings. They can be
 # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
 # ones.
-extensions = ["sphinx.ext.autodoc", "sphinx.ext.graphviz"]
+extensions = ["sphinx.ext.autodoc", "sphinx.ext.graphviz", "sphinx_copybutton"]
 
 # Add any paths that contain templates here, relative to this directory.
 # templates_path = ["_templates"]
@@ -43,7 +44,7 @@
 
 # General information about the project.
 project = "prompt_toolkit"
-copyright = "2014-2020, Jonathan Slenders"
+copyright = "2014-2023, Jonathan Slenders"
 
 # The version info for the project you're documenting, acts as replacement for
 # |version| and |release|, also used in various other places throughout the
@@ -84,7 +85,8 @@
 # show_authors = False
 
 # The name of the Pygments (syntax highlighting) style to use.
-pygments_style = "sphinx"
+pygments_style = "pastie"
+pygments_dark_style = "dracula"
 
 # A list of ignored prefixes for module index sorting.
 # modindex_common_prefix = []
@@ -106,23 +108,47 @@
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 
-on_rtd = os.environ.get("READTHEDOCS", None) == "True"
+# on_rtd = os.environ.get("READTHEDOCS", None) == "True"
+
+try:
+    import sphinx_nefertiti
+    html_theme = 'sphinx_nefertiti'
+    html_theme_path = [sphinx_nefertiti.get_html_theme_path()]
+    html_theme_options = {
+        # "style" can take the following values: "blue", "indigo", "purple",
+        # "pink", "red", "orange", "yellow", "green", "tail", and "default".
+        "style": "default",
+
+        # Fonts are customizable (and are not retrieved online).
+        # https://sphinx-nefertiti.readthedocs.io/en/latest/users-guide/customization/fonts.html
+        #"documentation_font": "Open Sans",
+        #"monospace_font": "Ubuntu Mono",
+        #"monospace_font_size": "1.1rem",
+
+        "logo": "logo_400px.png",
+        "logo_alt": "python-prompt-toolkit",
+        "logo_width": "36",
+        "logo_height": "36",
 
-if on_rtd:
-    html_theme = "default"
-else:
-    try:
-        import sphinx_rtd_theme
+        "repository_url": "https://github.com/prompt-toolkit/python-prompt-toolkit",
+        "repository_name": "python-prompt-toolkit",
+
+        "footer_links": ",".join([
+            "Documentation|https://python-prompt-toolkit.readthedocs.io/",
+            "Package|https://pypi.org/project/prompt-toolkit/",
+            "Repository|https://github.com/prompt-toolkit/python-prompt-toolkit",
+            "Issues|https://github.com/prompt-toolkit/python-prompt-toolkit/issues",
+        ]),
+    }
+
+except ImportError:
+    html_theme = "pyramid"
 
-        html_theme = "sphinx_rtd_theme"
-        html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
-    except ImportError:
-        html_theme = "pyramid"
 
 # 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 = {}
+
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []

docs/requirements.txt

@@ -1,4 +1,5 @@
 Sphinx<7
 wcwidth<1
 pyperclip<2
-sphinx_rtd_theme<2
+sphinx_copybutton>=0.5.0,<1.0.0
+sphinx-nefertiti>=0.2.1