Add favicon

diff --git a/source/_static/favicon.png b/source/_static/favicon.png
new file mode 100644 (file)
index 0000000..7c241d8
Binary files /dev/null and b/source/_static/favicon.png differ

diff --git a/source/conf.py b/source/conf.py
index 5684c71aa58d8f2180aa6b61a5dcc9425b3e90c3..67fcd1af5b49958fbee03bb56a7aa2c9b29fd4d8 100644 (file)
--- a/source/conf.py
+++ b/source/conf.py
@@ -120,7 +120,7 @@ html_short_title = "Luca's Web"
 # The name of an image file (within the static path) to use as favicon of the
 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
-#html_favicon = None
+html_favicon = "_static/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,