Doc changes for consistency across tskit-dev

Author: benjeffery

docs/_config.yml

@@ -6,6 +6,7 @@ author: Tskit Developers
 copyright: "2018"
 only_build_toc_files: true
 logo: tsinfer_logo.svg
+favicon: favicon.ico
 
 execute:
   execute_notebooks: cache
@@ -22,13 +23,10 @@ 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: tsinfer __TSINFER_VERSION__
-  extra_footer: tsinfer __TSINFER_VERSION__
 
 sphinx:
     extra_extensions:
+    - sphinx_copybutton
     - sphinx.ext.autodoc
     - sphinx.ext.autosummary
     - sphinx.ext.todo
@@ -42,6 +40,9 @@ sphinx:
       html_theme: sphinx_book_theme
       html_theme_options:
         pygments_dark_style: monokai
+        navigation_with_keys: false
+        logo:
+          text: "Version __TSINFER_VERSION__"
       pygments_style: monokai
       myst_enable_extensions:
       - colon_fence