diff --git a/docs/lab/index.html b/docs/lab/index.html index 7e5bb1bbc..ab8ae89f5 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -1437,7 +1437,7 @@ document.head.appendChild(fontCSS) -