diff --git a/website/docs/index.html b/website/docs/index.html index 4deb7d21..0fb73878 100644 --- a/website/docs/index.html +++ b/website/docs/index.html @@ -81,6 +81,7 @@ li {