diff -Nur a/docs/source/_themes/metrics/layout.html b/docs/source/_themes/metrics/layout.html --- a/docs/source/_themes/metrics/layout.html 2015-04-26 11:55:19.000000000 +0800 +++ b/docs/source/_themes/metrics/layout.html 2023-08-02 15:17:19.255362367 +0800 @@ -19,7 +19,7 @@ {%- for cssfile in css_files %} {%- endfor %} - + {%- if favicon %} {%- endif %}