diff options
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; } |
