diff options
Diffstat (limited to 'docs/lab/index.html')
| -rw-r--r-- | docs/lab/index.html | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index f98b9d531..c964e57bb 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -696,6 +696,7 @@ function main() { const r = measureDiv.getBoundingClientRect() measurePending = false lineHeightInput.placeholder = r.height + document.documentElement.style.setProperty("--line-height", r.height + "px") } window.addEventListener('load', measure) @@ -799,6 +800,7 @@ function main() { sizeVar = vars.bind('size', (e, v, isInitial) => { boxes.style.display = (v > 20) ? 'none' : null setCSSProp('font-size', v + 'px') + document.documentElement.style.setProperty("--font-size", v + "px") setGlyphlistClass('hideNames', v < 36) if (varSizeRange && !varSizeSettingValueImpl) { varSizeSettingValueImpl = true |