diff --git a/doc/_themes/sphinx-theme-okfn b/doc/_themes/sphinx-theme-okfn index 1e0978e28d0..5c2ef7385a9 160000 --- a/doc/_themes/sphinx-theme-okfn +++ b/doc/_themes/sphinx-theme-okfn @@ -1 +1 @@ -Subproject commit 1e0978e28d002a422cbbdeea8d86f6b94efda25f +Subproject commit 5c2ef7385a9e1012d0c328722c8cb235f18391a1