diff --git a/docs/themes/docsy b/docs/themes/docsy
index 033225e5174d..712aa05897c1 160000
--- a/docs/themes/docsy
+++ b/docs/themes/docsy
@@ -1 +1 @@
-Subproject commit 033225e5174d50828c565b66d992c7b5d55ba42a
+Subproject commit 712aa05897c1abe239786522131e83d69e5e1b4e