diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index a260da976f4..8c3378c9bdd 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -42,7 +42,7 @@