diff --git a/docs/theme/index.html b/docs/theme/index.html index 2221e76f..89aa3641 100755 --- a/docs/theme/index.html +++ b/docs/theme/index.html @@ -42,7 +42,7 @@