diff --git a/doc/themes/triqs/layout.html b/doc/themes/triqs/layout.html index 9d22f240..8940a7fb 100644 --- a/doc/themes/triqs/layout.html +++ b/doc/themes/triqs/layout.html @@ -43,7 +43,7 @@