140
140
# The name of an image file (relative to this directory) to place at the top
144
144
# The name of an image file (within the static path) to use as favicon of the
145
145
# docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32