Add a favicon

Although there is a warning about not being an *.ico, I think the warning can be safely ignored. Modern browsers support pngs well.
2015-05-29 22:55:47 +02:00
parent 0c2d769dee
commit 6ad32bfe1b
2 changed files with 1 additions and 1 deletions
@@ -124,7 +124,7 @@ html_theme_path = ['_themes']
 # 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,