diff options
Diffstat (limited to 'docs/lab/index.html')
-rw-r--r-- | docs/lab/index.html | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/docs/lab/index.html b/docs/lab/index.html index 9de7b8a81..d5953f076 100644 --- a/docs/lab/index.html +++ b/docs/lab/index.html @@ -2,6 +2,7 @@ <html lang="en"> <head> <meta charset="utf-8"> + <link href="../interface.css" rel="stylesheet"> <script type="text/javascript"> const samples = new Map() @@ -607,14 +608,14 @@ for (const ch of uniqueChars) { <style id="font-css" type="text/css-template"> @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: normal; font-weight: 400; src: url("fonts/Interface-Regular.woff2") format("woff2"), url("fonts/Interface-Regular.woff") format("woff"); } @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: italic; font-weight: 400; src: url("fonts/Interface-RegularItalic.woff2") format("woff2"), @@ -622,14 +623,14 @@ for (const ch of uniqueChars) { } @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: normal; font-weight: 500; src: url("fonts/Interface-Medium.woff2") format("woff2"), url("fonts/Interface-Medium.woff") format("woff"); } @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: italic; font-weight: 500; src: url("fonts/Interface-MediumItalic.woff2") format("woff2"), @@ -637,14 +638,14 @@ for (const ch of uniqueChars) { } @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: normal; font-weight: 700; src: url("fonts/Interface-Bold.woff2") format("woff2"), url("fonts/Interface-Bold.woff") format("woff"); } @font-face { - font-family: 'Interface-VERSION'; + font-family: 'Interface-VERSION', 'Interface'; font-style: italic; font-weight: 700; src: url("fonts/Interface-BoldItalic.woff2") format("woff2"), @@ -655,7 +656,7 @@ for (const ch of uniqueChars) { @import url('https://fonts.googleapis.com/css?family=Roboto:400,400i,500,500i,700,700i,900,900i&subset=cyrillic,cyrillic-ext,greek,greek-ext,latin-ext,vietnamese'); .interface, .interface input, .interface select { - font-family: 'Interface-VERSION', serif !important; + font-family: 'Interface-VERSION', 'Interface', serif !important; } </style> |