Doc changes for consistency across tskit-dev

Author: benjeffery

docs/_config.yml

@@ -6,6 +6,7 @@ author: Tskit Developers
 copyright: "2023"
 only_build_toc_files: true
 logo: tsdate_logo.svg
+favicon: favicon.ico
 
 execute:
   timeout: 300
@@ -26,14 +27,11 @@ html:
   use_issues_button: true
   use_repository_button: true
   use_edit_page_button: true
-  # Do not edit this - the version placeholder is replaced by the
-  # current version during a distribution build in the Makefile
-  extra_navbar: tsdate __TSDATE_VERSION__
-  extra_footer: tsdate __TSDATE_VERSION__
 
 
 sphinx:
     extra_extensions:
+    - sphinx_copybutton
     - sphinx.ext.autodoc
     - sphinx.ext.mathjax
     - sphinx.ext.autosummary
@@ -48,6 +46,9 @@ sphinx:
       html_theme: sphinx_book_theme
       html_theme_options:
         pygments_dark_style: monokai
+        navigation_with_keys: false
+        logo:
+          text: "Version __TSDATE_VERSION__"
       pygments_style: monokai
       bibtex_reference_style: author_year
       myst_enable_extensions: