{#- Provide default logo and favicon from theme here as it's not clear how themes provide logo via `html_logo` conf.py attribute which mandate logo to be relative config dir. Notes: - `logo` and `favicon` are deprecated since sphinx-doc v4.0.0 (removed in v6.0.0) and replaced by `logo_url` and `favicon_url`. `sphinx_rtd_theme` still checks for truthy legacy variable before using new in v1.1.1 https://github.com/sphinx-doc/sphinx/pull/8737 - `sphinx_version_info` available from sphinx-rtd v1.1.0 https://github.com/readthedocs/sphinx_rtd_theme/commit/2c31b73c3bfae3aad2ebce6f2c9a91e8aa7598cd #} {%- if not sphinx_version_info or sphinx_version_info < (4, 0) %} {%- if not logo %} {%- set logo = "img/eso_logo.png" %} {%- endif %} {%- if not favicon %} {%- set favicon = "img/eso-favicon.ico" %} {%- endif %} {%- else %} {%- if not logo_url %} {%- set logo = "img/eso_logo.png" %} {%- set logo_url = pathto("_static/" + logo, 1) %} {%- endif %} {%- if not favicon_url %} {%- set favicon = "img/eso-favicon.ico" %} {%- set favicon_url = pathto("_static/" + favicon, 1) %} {%- endif %} {%- endif %} {% extends "sphinx_rtd_theme/layout.html" %}