diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-18 21:45:29 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2023-01-18 21:47:55 -0500 |
| commit | db848c219c63e0f24412e160782cddb86f5d950c (patch) | |
| tree | 7681b5a2dfff55b6563d8bd234aeca4edc1834dd /docs/repl.js | |
| parent | 6b36076aa7c6f00eac3c2916b33313780708fbdd (diff) | |
Add JetBrains Mono
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/repl.js b/docs/repl.js index 46fc5b5c..cff7d1ac 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -190,8 +190,8 @@ appendHTML(doc.kb, '<div class="kbext"></div>'); doc.kbext = doc.kb.querySelector('.kbext'); if (doc.demo) { - let fonts=[["BQN386"],["DejaVu","Mod"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"]]; - let fclass = f => f==="3270"?"f"+f:f + let fonts=[["BQN386"],["DejaVu","Mod"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"],["JetBrains","Mono"]]; + let fclass = f => f==="3270"?"f"+f:f==="JetBrains"?"JetBr":f; let fontsel = '<select title="Select font">'+fonts.map(f => '<option value="'+f[0]+'">'+f[0]+(f[1]?' '+f[1]:'')+'</option>' ).join("")+'select'; |