From f2754035893cd44c290e3d50e4d5c21746ea88c8 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 18 Apr 2021 20:39:22 -0400
Subject: Change site font from DejaVu BQN to BQN386

---
 docs/repl.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'docs/repl.js')

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>'
-- 
cgit v1.2.3