diff --git a/doc/source/_theme/layout.html b/doc/source/_theme/layout.html index d30607ed3f61..e3eb54b712bc 100644 --- a/doc/source/_theme/layout.html +++ b/doc/source/_theme/layout.html @@ -5,6 +5,7 @@