Add favicon (#612)

Co-authored-by: Ralf Gommers <ralf.gommers@gmail.com>

Author: steff456

doc-requirements.txt

@@ -3,5 +3,6 @@ sphinx-material==0.0.30
 myst-parser
 sphinx_markdown_tables
 sphinx_copybutton
+sphinx_favicon
 docutils<0.18
 sphinx-math-dollar

pyproject.toml

@@ -14,6 +14,18 @@ Source = "https://github.com/data-apis/array-api/"
 Documentation = "https://data-apis.org/array-api/"
 Homepage = "https://data-apis.org/"
 
+[project.optional-dependencies]
+doc = [
+    "sphinx==4.3.0",
+    "sphinx-material==0.0.30",
+    "myst-parser",
+    "sphinx_markdown_tables",
+    "sphinx_copybutton",
+    "docutils<0.18",
+    "sphinx-math-dollar",
+    "sphinx-favicon",
+]
+
 [build-system]
 requires = ["setuptools"]
 build-backend = "setuptools.build_meta"

spec/_static/images/favicon.png

@@ -30,11 +30,12 @@
     'sphinx.ext.extlinks',
     'sphinx.ext.intersphinx',
     'sphinx.ext.todo',
-    'sphinx_markdown_tables',
-    'sphinx_copybutton',
     'sphinx.ext.autosummary',
     'sphinx.ext.napoleon',
     'sphinx.ext.autodoc',
+    'sphinx_copybutton',
+    'sphinx_favicon',
+    'sphinx_markdown_tables',
 ]
 
 autosummary_generate = True
@@ -176,7 +177,14 @@
 
 
 todo_include_todos = True
-#html_favicon = "images/favicon.ico"
+
+favicons = [
+   {
+      "rel": "icon",
+      "sizes": "196x195",
+      "href": "images/favicon.png",
+   },
+]
 
 html_use_index = True
 html_domain_indices = True