From 5b712898ece65a1a5a565606813ac4b35387638d Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sat, 21 Nov 2020 20:51:34 -0500
Subject: Add a font selector to the main page demo REPL

---
 docs/fonts.html | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'docs/fonts.html')

diff --git a/docs/fonts.html b/docs/fonts.html
index 0abfae41..766b3aec 100644
--- a/docs/fonts.html
+++ b/docs/fonts.html
@@ -6,12 +6,6 @@
   <link href="favicon.ico" rel="shortcut icon" type="image/x-icon"/>
   <link href="style.css" rel="stylesheet"/>
   <style>
-    pre.DejaVu , .DejaVu  *:not(.run) { font-family:BQN,monospace; }
-    pre.BQN386 , .BQN386  *:not(.run) { font-family:BQN386,monospace; }
-    pre.Julia  , .Julia   *:not(.run) { font-family:JuliaMono,monospace; }
-    pre.Fairfax, .Fairfax *:not(.run) { font-family:FFHD,monospace; font-size:1.1rem; line-height:1.01; }
-    .Fairfax .kb { line-height:1.25; }
-
     table { margin:0.4em auto; }
     div.right { text-align:right; }
     span.ul { text-decoration:underline; }
-- 
cgit v1.2.3