diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index 238fb52b7..b7f7c1424 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -67,7 +67,7 @@