diff --git a/doc/sphinx/_html_extra b/doc/sphinx/_html_extra index 3f1f7ced..c902a261 160000 --- a/doc/sphinx/_html_extra +++ b/doc/sphinx/_html_extra @@ -1 +1 @@ -Subproject commit 3f1f7ced1507c87f98094f546ac0eba9be3e10ba +Subproject commit c902a26123d04560459bcab81512cce8e3184b21