diff --git a/doc/sphinx/source/_templates/cross_proj_navbar.html b/doc/sphinx/source/_templates/cross_proj_navbar.html new file mode 100644 index 0000000000..0c27b67769 --- /dev/null +++ b/doc/sphinx/source/_templates/cross_proj_navbar.html @@ -0,0 +1,25 @@ +{% set href = pathto(root_doc) %} + diff --git a/doc/sphinx/source/_templates/layout.html b/doc/sphinx/source/_templates/layout.html index fd48125848..6df4f15011 100644 --- a/doc/sphinx/source/_templates/layout.html +++ b/doc/sphinx/source/_templates/layout.html @@ -19,7 +19,9 @@