diff --git a/devdocs-theme b/devdocs-theme
index 70c250e..9ca5a31 160000
--- a/devdocs-theme
+++ b/devdocs-theme
@@ -1 +1 @@
-Subproject commit 70c250e3ef315fe3b9b3ac2422e0080b8e4d7e92
+Subproject commit 9ca5a31e8dfe14b91848b786472a6a683701a9c2