docs: Add a favicon

Signed-off-by: Marta Gómez Macías <[email protected]>
bloomberg · Aug 16, 2023 · f34eaa0 · f34eaa0
1 parent 72491d1
commit f34eaa0
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/docs/_templates/index.html b/docs/_templates/index.html
@@ -25,6 +25,7 @@
             background-image: url("{{pathto('_static/images/circle_outer_opt.png', 1)}}");
         }
     </style>
+    <link rel="icon" href="_static/favicon.ico">
 
 </head>
 

diff --git a/docs/conf.py b/docs/conf.py
@@ -40,6 +40,7 @@
 html_additional_pages = {
     "index": "index.html",
 }
+html_favicon = "favicon.ico"
 
 # -- Options for smartquotes ----------------------------------------------------------
 

diff --git a/docs/favicon.ico b/docs/favicon.ico