diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:39:22 -0400 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-04-18 20:39:22 -0400 |
| commit | f2754035893cd44c290e3d50e4d5c21746ea88c8 (patch) | |
| tree | a5b131bc4dfc6b9edb8fd53288cc9b110245253e /docs/fonts.html | |
| parent | 1b8993fd8d7dafeed32f9cd74e7063953de4232e (diff) | |
Change site font from DejaVu BQN to BQN386
Diffstat (limited to 'docs/fonts.html')
| -rw-r--r-- | docs/fonts.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/fonts.html b/docs/fonts.html index 42cf2a62..1ffd552f 100644 --- a/docs/fonts.html +++ b/docs/fonts.html @@ -272,9 +272,9 @@ Iosevka Term Extended <p style="margin-top:4em">Finally, a REPL where you can enter any code you like (but remember, not all characters from these fonts are embedded—just those likely to be used in BQN).</code> <div class="fonts"> - <input type="radio" id="f0" name="font" class="DejaVu" checked="checked"/> + <input type="radio" id="f0" name="font" class="DejaVu"/> <label for="f0">DejaVu</label> - <input type="radio" id="f1" name="font" class="BQN386"/> + <input type="radio" id="f1" name="font" class="BQN386" checked="checked"/> <label for="f1">BQN386</label> <input type="radio" id="f2" name="font" class="Fairfax"/> <label for="f2">Fairfax</label> |