diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:39:22 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:39:22 -0400 |
| commit | f2754035893cd44c290e3d50e4d5c21746ea88c8 (patch) | |
| tree | a5b131bc4dfc6b9edb8fd53288cc9b110245253e /docs/repl.js | |
| parent | 1b8993fd8d7dafeed32f9cd74e7063953de4232e (diff) | |
Change site font from DejaVu BQN to BQN386
Diffstat (limited to 'docs/repl.js')
| -rw-r--r-- | docs/repl.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/repl.js b/docs/repl.js index b65ac21e..cc7a7cf4 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -125,7 +125,7 @@ doc.kb.onmousedown = ev => { } if (doc.demo) { - let fonts=[["DejaVu","Mod"],["BQN386"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"]]; + let fonts=[["BQN386"],["DejaVu","Mod"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"]]; let fclass = f => f==="3270"?"f"+f:f let fontsel = '<select>'+fonts.map(f => '<option value="'+f[0]+'">'+f[0]+(f[1]?' '+f[1]:'')+'</option>' |