doc: add favicon

Part of #67

Author: DifferentialOrange

doc/_static/favicon/apple-touch-icon-114x114.png

@@ -0,0 +1,9 @@
+for SIZE in 16 32 96 128 196
+do
+	convert -background none -resize ${SIZE}x${SIZE} icon.svg icon-${SIZE}x${SIZE}.png
+done
+
+for SIZE in 57 60 72 76 114 120 144 152
+do
+	convert -background none -resize ${SIZE}x${SIZE} icon.svg apple-touch-icon-${SIZE}x${SIZE}.png
+done

doc/_static/favicon/apple-touch-icon-120x120.png

@@ -30,7 +30,8 @@
 # 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.intersphinx', 'sphinx.ext.todo',
-              'sphinx.ext.coverage', 'sphinx.ext.ifconfig', 'sphinx_paramlinks',]
+              'sphinx.ext.coverage', 'sphinx.ext.ifconfig', 'sphinx_paramlinks',
+              'sphinx-favicon',]
 
 autodoc_default_options = {
     'members': True,
@@ -129,10 +130,97 @@
 # pixels large.
 #html_favicon = None
 
+# Set up favicons with sphinx-favicon. 
+favicons = [
+    {
+        "rel": "icon",
+        "static-file": "favicon/icon.svg",
+        "type": "image/svg",
+    },
+    {
+        "rel": "icon",
+        "sizes": "16x16",
+        "static-file": "favicon/icon-16x16.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "icon",
+        "sizes": "32x32",
+        "static-file": "favicon/icon-32x32.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "icon",
+        "sizes": "96x96",
+        "static-file": "favicon/icon-96x96.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "icon",
+        "sizes": "128x128",
+        "static-file": "favicon/icon-128x128.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "icon",
+        "sizes": "196x196",
+        "static-file": "favicon/icon-196x196.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "57x57",
+        "static-file": "favicon/apple-touch-icon-57x57.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "60x60",
+        "static-file": "favicon/apple-touch-icon-60x60.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "72x72",
+        "static-file": "favicon/apple-touch-icon-72x72.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "76x76",
+        "static-file": "favicon/apple-touch-icon-76x76.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "114x114",
+        "static-file": "favicon/apple-touch-icon-114x114.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "120x120",
+        "static-file": "favicon/apple-touch-icon-120x120.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "144x144",
+        "static-file": "favicon/apple-touch-icon-144x144.png",
+        "type": "image/png",
+    },
+    {
+        "rel": "apple-touch-icon",
+        "sizes": "152x152",
+        "static-file": "favicon/apple-touch-icon-152x152.png",
+        "type": "image/png",
+    },
+]
+
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-#html_static_path = ['_static']
+html_static_path = ['_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.

doc/_static/favicon/apple-touch-icon-144x144.png

@@ -1,2 +1,3 @@
 sphinx==5.2.1
 sphinx-paramlinks==0.5.4
+sphinx-favicon==0.2