diff --git a/docs/lab/index.html b/docs/lab/index.html index e61713d69..ca95714cd 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -1338,27 +1338,31 @@ document.head.appendChild(fontCSS)