Add a favicon

Rfam · Oct 28, 2016 · 429e944 · 429e944
1 parent aa26de8
commit 429e944
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -139,7 +139,7 @@
 # The name of an image file (relative to this directory) to use as a favicon of
 # the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
-#html_favicon = None
+html_favicon = 'rfam.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/source/rfam.ico b/docs/source/rfam.ico