diff --git a/docs/lab/index.html b/docs/lab/index.html index 0c9ccb0a9..c56d0ac03 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -871,6 +871,7 @@ document.head.appendChild(fontCSS) +