diff --git a/docs/index.html b/docs/index.html index e97fa853..30f05cb5 100644 --- a/docs/index.html +++ b/docs/index.html @@ -542,7 +542,7 @@
(resize width of screen if you don't see it)