diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index 597b6261f..8967d8265 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -70,7 +70,7 @@