Update favicon in frontend/ to latest, also add for Sphinx docs. (str…

…eamlit#937) * Update favicon in frontend/public to latest dark version * Also add normal (light version) for Sphinx docs.
dlegor · Jan 9, 2020 · 84eaa51 · 84eaa51
1 parent 499ba82
commit 84eaa51
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 0 deletions.
diff --git a/docs/conf.py b/docs/conf.py
@@ -93,6 +93,8 @@
 
 html_theme_options = {"analytics_id": "UA-122023594-3"}
 
+html_favicon = "favicon.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".

diff --git a/docs/favicon.png b/docs/favicon.png
diff --git a/frontend/public/favicon.png b/frontend/public/favicon.png