diff --git a/docs/custom_theme/partials/nav.html b/docs/custom_theme/partials/nav.html new file mode 100644 index 0000000000..cd7b31dae3 --- /dev/null +++ b/docs/custom_theme/partials/nav.html @@ -0,0 +1,69 @@ + + + +{% set site_url = config.site_url | default(nav.homepage.url, true) | url %} +{% if not config.use_directory_urls and site_url[0] == site_url[-1] == "." %} + {% set site_url = site_url ~ "/index.html" %} +{% endif %} + + +