aboutsummaryrefslogtreecommitdiff
path: root/docs/fonts.html
diff options
context:
space:
mode:
Diffstat (limited to 'docs/fonts.html')
-rw-r--r--docs/fonts.html6
1 files changed, 0 insertions, 6 deletions
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; }