diff --git a/docs/theme/index.html b/docs/theme/index.html index 89aa3641..00391e14 100755 --- a/docs/theme/index.html +++ b/docs/theme/index.html @@ -95,7 +95,7 @@