diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-11-21 20:51:34 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2020-11-21 20:51:34 -0500 |
| commit | 5b712898ece65a1a5a565606813ac4b35387638d (patch) | |
| tree | 0685248f89d30e90253d9fb1086464def2aa2e60 /docs/fonts.html | |
| parent | 175cb13c13ad3bb323e4ee9332600f09a302d351 (diff) | |
Add a font selector to the main page demo REPL
Diffstat (limited to 'docs/fonts.html')
| -rw-r--r-- | docs/fonts.html | 6 |
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; } |