diff --git a/doc/_themes/sphinx13/layout.html b/doc/_themes/sphinx13/layout.html index a260da976..c6657365a 100644 --- a/doc/_themes/sphinx13/layout.html +++ b/doc/_themes/sphinx13/layout.html @@ -14,8 +14,8 @@