71 # A shorter title for the navigation bar.  Default is the same as html_title.

    71 # A shorter title for the navigation bar.  Default is the same as html_title.

    72 #html_short_title = None

    72 #html_short_title = None

    73 

    73 

    74 # The name of an image file (within the static path) to place at the top of

    74 # The name of an image file (within the static path) to place at the top of

    75 # the sidebar.

    75 # the sidebar.

    77 

    77 

    78 # The name of an image file (within the static path) to use as favicon of the

    78 # The name of an image file (within the static path) to use as favicon of the

    79 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32

    79 # docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32

    80 # pixels large.

    80 # pixels large.

    81 html_favicon = 'logo-evolve.ico'

    81 html_favicon = 'logo-evolve.ico'