[DOCS] Finished updating favicon

There were several errors in f71854c that prevented some of the intended effects (for instance, the .ico file was empty). This commit corrects these mistakes.
aluminumjs · Aug 9, 2020 · 4aed6f7 · 4aed6f7
1 parent f71854c
commit 4aed6f7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/conf.py b/docs/conf.py
@@ -50,7 +50,7 @@
 
 html_logo = './logo-white.png'
 
-html_favicon = './favicon.png'
+html_favicon = './favicon.ico'
 
 # 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,

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