()
| 12 | } |
| 13 | |
| 14 | function loadJetBrainsMonoFont() { |
| 15 | if (isJetBrainsMonoLoaded) { |
| 16 | return; |
| 17 | } |
| 18 | isJetBrainsMonoLoaded = true; |
| 19 | const jbmFontNormal = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-regular.woff2')", { |
| 20 | style: "normal", |
| 21 | weight: "400", |
| 22 | }); |
| 23 | const jbmFont200 = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-200.woff2')", { |
| 24 | style: "normal", |
| 25 | weight: "200", |
| 26 | }); |
| 27 | const jbmFont700 = new FontFace("JetBrains Mono", "url('fonts/jetbrains-mono-v13-latin-700.woff2')", { |
| 28 | style: "normal", |
| 29 | weight: "700", |
| 30 | }); |
| 31 | addToFontFaceSet(document.fonts, jbmFontNormal); |
| 32 | addToFontFaceSet(document.fonts, jbmFont200); |
| 33 | addToFontFaceSet(document.fonts, jbmFont700); |
| 34 | jbmFontNormal.load(); |
| 35 | jbmFont200.load(); |
| 36 | jbmFont700.load(); |
| 37 | } |
| 38 | |
| 39 | function loadHackNerdFont() { |
| 40 | if (isHackNerdFontLoaded) { |
no test coverage detected