diff --git a/doc/_themes/blue/layout.html b/doc/_themes/blue/layout.html index f5b187a4c8..5bc9c86003 100644 --- a/doc/_themes/blue/layout.html +++ b/doc/_themes/blue/layout.html @@ -18,7 +18,20 @@ (sidebars != []) %} {%- set url_root = pathto('', 1) %} {%- if url_root == '#' %}{% set url_root = '' %}{% endif %} + {%- macro relbar() %}