Add Iosevka (Term Extended) to fonts page

4 files changed, 51 insertions, 6 deletions

diff --git a/docs/Iosevka_sub.woff2 b/docs/Iosevka_sub.woff2
new file mode 100644
index 00000000..3985a94d
--- /dev/null
+++ b/docs/Iosevka_sub.woff2
diff --git a/docs/fonts.html b/docs/fonts.html
index 85c3a7ae..e8a12c5e 100644
--- a/docs/fonts.html
+++ b/docs/fonts.html
@@ -36,6 +36,7 @@
   <li><a href="https://github.com/dzaima/BQN386">BQN386</a>, derived from APL385 by way of APL386</li>
   <li><a href="http://www.kreativekorp.com/software/fonts/fairfaxhd.shtml">Fairfax HD</a> (bitmap font <a href="http://www.kreativekorp.com/software/fonts/fairfax.shtml">Fairfax</a> is only missing <code class="Function">⥊</code>)</li>
   <li><a href="https://github.com/rbanffy/3270font">3270</a>, based on the IBM 3270 terminal family</li>
+  <li><a href="https://typeof.net/Iosevka/">Iosevka</a> family: Extended Term shown here; many options available</li>
   <li><a href="https://github.com/cormullion/juliamono">Julia Mono</a></li>
 </ul>
 <p>Other than DejaVu, the versions embedded on this page are small subsets, and you should get your copy from the links above (unless perhaps you want to use them for embedding as well). In addition to these, <a href="https://www.fsd.it/shop/fonts/pragmatapro/">Pragmata Pro</a> and <a href="https://www.evertype.com/emono/">Everson Mono</a> have full support, but each charges a significant fee for usage and I can't freely embed them here.</p>
@@ -115,8 +116,26 @@ Fairfax HD
 </tr>
 
 <tr>
-<td colspan="2">
-<pre class="Julia" style="width:48%; margin-left:auto; margin-right:auto"><span class='Modifier'>`</span><span class='Number'>1234567890</span><span class='Function'>-=</span> ~<span class='Function'>!</span><span class='String'>@</span><span class='Comment'>#</span>$%^&amp;*<span class='Paren'>()</span><span class='Modifier2'>_</span><span class='Function'>+</span>
+<td>
+<pre class="Iosevka"><span class='Modifier'>`</span><span class='Number'>1234567890</span><span class='Function'>-=</span> ~<span class='Function'>!</span><span class='String'>@</span><span class='Comment'>#</span>$%^&amp;*<span class='Paren'>()</span><span class='Modifier2'>_</span><span class='Function'>+</span>
+ <span class='Value'>qwertyuiop</span>[]  <span class='Function'>QWERTYUIOP</span><span class='Brace'>{}</span>
+ <span class='Value'>asdfghjkl;</span><span class='String'>'</span>\  <span class='Function'>ASDFGHJKL</span><span class='Value'>:</span><span class='String'>&quot;</span><span class='Function'>|</span>
+ <span class='Value'>zxcvbnm</span><span class='Separator'>,</span><span class='Number'>.</span><span class='Function'>/</span>    <span class='Function'>ZXCVBNM&lt;&gt;</span><span class='Value'>?</span>
+
+<span class='Modifier'>˜˘¨⁼⌜´˝</span> <span class='Number'>∞¯</span><span class='Value'>•</span><span class='Function'>÷×</span> <span class='Function'>¬</span><span class='Modifier2'>⎉⚇⍟◶⊘⎊</span>⍎⍕<span class='Bracket'>⟨⟩</span><span class='Function'>√⋆</span>
+ <span class='Function'>⌽</span><span class='Value'>𝕨</span><span class='Function'>∊↑∧</span> <span class='Function'>⊔⊏⊐</span><span class='Number'>π</span><span class='Gets'>←→</span>  ↙<span class='Function'>𝕎⍷</span><span class='Value'>𝕣</span><span class='Function'>⍋</span>  <span class='Function'>⊑⊒</span>⍳<span class='Function'>⊣⊢</span>
+ <span class='Function'>⍉</span><span class='Value'>𝕤</span><span class='Function'>↕</span><span class='Value'>𝕗𝕘</span><span class='Modifier2'>⊸∘○⟜</span><span class='Separator'>⋄</span><span class='Gets'>↩</span>   ↖<span class='Function'>𝕊</span> <span class='Function'>𝔽𝔾«</span> <span class='Modifier2'>⌾</span><span class='Function'>»</span><span class='Nothing'>·</span><span class='Modifier'>˙</span>
+ <span class='Function'>⥊</span><span class='Value'>𝕩</span><span class='Function'>↓∨⌊</span> <span class='Function'>≡∾≍≠</span> <span class='Ligature'>‿</span>   <span class='Function'>𝕏</span> <span class='Function'>⍒⌈</span> <span class='Function'>≢≤≥</span><span class='Gets'>⇐</span>
+
+⍬⍺⍵⍴⍳⍸⌷⍨⍤⍥⍣⊖⊂⊃⊆⊇∩∪⊥⊤⍝⍀⌿⍪
+⎕⌺⌹⌸⍞⍠⌶⍱⍲⍫∇∆⍢⍙…
+</pre>
+<div class="left">Iosevka Term Extended</div>
+</td>
+
+<td>
+
+<pre class="Julia"><span class='Modifier'>`</span><span class='Number'>1234567890</span><span class='Function'>-=</span> ~<span class='Function'>!</span><span class='String'>@</span><span class='Comment'>#</span>$%^&amp;*<span class='Paren'>()</span><span class='Modifier2'>_</span><span class='Function'>+</span>
  <span class='Value'>qwertyuiop</span>[]  <span class='Function'>QWERTYUIOP</span><span class='Brace'>{}</span>
  <span class='Value'>asdfghjkl;</span><span class='String'>'</span>\  <span class='Function'>ASDFGHJKL</span><span class='Value'>:</span><span class='String'>&quot;</span><span class='Function'>|</span>
  <span class='Value'>zxcvbnm</span><span class='Separator'>,</span><span class='Number'>.</span><span class='Function'>/</span>    <span class='Function'>ZXCVBNM&lt;&gt;</span><span class='Value'>?</span>
@@ -129,7 +148,7 @@ Fairfax HD
 ⍬⍺⍵⍴⍳⍸⌷⍨⍤⍥⍣⊖⊂⊃⊆⊇∩∪⊥⊤⍝⍀⌿⍪
 ⎕⌺⌹⌸⍞⍠⌶⍱⍲⍫∇∆⍢⍙…
 </pre>
-<div>Julia Mono</div>
+<div class="right">Julia Mono</div>
 </td>
 </tr>
 </table>
@@ -212,6 +231,25 @@ Fairfax HD
 <span class='Brace'>}</span>
 </pre>
 
+<pre class="Iosevka"><span class='Value ul'>Iosevka Term Extended</span>
+
+  <span class='Value'>c</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'#'</span><span class='Separator'>⋄</span><span class='Value'>s</span><span class='Gets'>←</span><span class='Function'>/</span><span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0</span><span class='Modifier2'>⊸</span><span class='Function'>«</span><span class='Modifier2'>⊸</span><span class='Function'>∧</span><span class='Value'>sm</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'''</span><span class='Separator'>⋄</span><span class='Value'>d</span><span class='Gets'>←</span><span class='Function'>/</span><span class='Value'>dm</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'&quot;'</span>
+  <span class='Value'>g</span><span class='Gets'>←</span><span class='Function'>⍋</span><span class='Value'>q</span><span class='Gets'>←</span><span class='Function'>∾</span><span class='Bracket'>⟨</span>  <span class='Value'>s</span><span class='Separator'>⋄</span><span class='Number'>¯1</span><span class='Function'>↓</span><span class='Value'>d</span><span class='Separator'>⋄</span><span class='Function'>/</span><span class='Value'>c</span><span class='Bracket'>⟩</span> <span class='Separator'>⋄</span><span class='Value'>q</span><span class='Gets'>↩</span><span class='Value'>g</span><span class='Function'>⊏</span><span class='Value'>q</span>                <span class='Comment'># Open indices
+</span>  <span class='Value'>e</span><span class='Gets'>←</span> <span class='Value'>g</span><span class='Function'>⊏∾</span><span class='Bracket'>⟨</span><span class='Number'>2</span><span class='Function'>+</span><span class='Value'>s</span><span class='Separator'>⋄</span> <span class='Number'>1</span><span class='Function'>↓</span><span class='Value'>d</span><span class='Separator'>⋄</span><span class='Function'>-</span><span class='Modifier2'>⟜</span><span class='Function'>»</span><span class='Modifier2'>∘</span><span class='Function'>⊏</span><span class='Modifier2'>⟜</span><span class='Paren'>(</span><span class='Number'>0</span><span class='Function'>∾+</span><span class='Modifier'>`</span><span class='Value'>c</span><span class='Paren'>)</span><span class='Modifier2'>⊸</span><span class='Function'>//</span><span class='Paren'>(</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='Value'>lf</span><span class='Paren'>)</span><span class='Function'>∾</span><span class='Number'>1</span><span class='Bracket'>⟩</span> <span class='Comment'># Matching close indices
+</span>  <span class='Function'>Se</span><span class='Gets'>←</span><span class='Brace'>{</span><span class='Paren'>(</span><span class='Function'>⊏</span><span class='Modifier'>˜</span><span class='Value'>𝕨</span><span class='Paren'>)</span><span class='Function'>Se</span> <span class='Number'>1</span><span class='Modifier'>¨</span><span class='Modifier2'>⌾</span><span class='Paren'>((</span><span class='Value'>𝕩</span><span class='Function'>/</span><span class='Value'>𝕨</span><span class='Paren'>)</span><span class='Modifier2'>⊸</span><span class='Function'>⊏</span><span class='Paren'>)</span><span class='Value'>𝕩</span><span class='Brace'>}</span><span class='Modifier2'>⍟</span><span class='Paren'>(</span><span class='Number'>0</span><span class='Function'>=</span><span class='Number'>¯1</span><span class='Function'>⊑⊢</span><span class='Paren'>)</span>       <span class='Comment'># Mark reachable openings
+</span>
+<span class='Function'>PrecedesGroup</span> <span class='Gets'>←</span> <span class='Brace'>{</span>
+  <span class='Comment'># We prepend a 0 to 𝕨, so that 0 is the &quot;before start&quot; index, with a
+</span>  <span class='Comment'># false value, and normal indices are increased by 1.
+</span>  <span class='Value'>𝕨</span> <span class='Function'>∾</span><span class='Modifier'>˜</span><span class='Gets'>↩</span> <span class='Number'>0</span>
+  <span class='Value'>inds</span> <span class='Gets'>←</span> <span class='Number'>1</span> <span class='Function'>+</span> <span class='Function'>↕≠</span><span class='Value'>𝕩</span>
+  <span class='Comment'># Zero out indices where 𝕩 was true, and find the greatest index so
+</span>  <span class='Comment'># far at each position.
+</span>  <span class='Value'>last</span> <span class='Gets'>←</span> <span class='Function'>⌈</span><span class='Modifier'>`</span> <span class='Value'>inds</span> <span class='Function'>×</span> <span class='Function'>¬</span><span class='Value'>𝕩</span>
+  <span class='Value'>last</span> <span class='Function'>⊏</span> <span class='Value'>𝕨</span>
+<span class='Brace'>}</span>
+</pre>
+
 <pre class="Julia"><span class='Value ul'>Julia Mono</span>
 
   <span class='Value'>c</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'#'</span><span class='Separator'>⋄</span><span class='Value'>s</span><span class='Gets'>←</span><span class='Function'>/</span><span class='Number'>0</span><span class='Ligature'>‿</span><span class='Number'>0</span><span class='Modifier2'>⊸</span><span class='Function'>«</span><span class='Modifier2'>⊸</span><span class='Function'>∧</span><span class='Value'>sm</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'''</span><span class='Separator'>⋄</span><span class='Value'>d</span><span class='Gets'>←</span><span class='Function'>/</span><span class='Value'>dm</span><span class='Gets'>←</span><span class='Value'>𝕩</span><span class='Function'>=</span><span class='String'>'&quot;'</span>
@@ -242,8 +280,10 @@ Fairfax HD
   <label for="f2">Fairfax</label>
   <input type="radio" id="f3" name="font" class="f3270"/>
   <label for="f3">3270</label>
-  <input type="radio" id="f4" name="font" class="Julia"/>
-  <label for="f4">Julia</label>
+  <input type="radio" id="f4" name="font" class="Iosevka"/>
+  <label for="f4">Iosevka</label>
+  <input type="radio" id="f5" name="font" class="Julia"/>
+  <label for="f5">Julia</label>
 </div>
 <div id="setfont">
   <div class="cont">
diff --git a/docs/repl.js b/docs/repl.js
index 7447accd..67df5dd2 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -110,7 +110,7 @@ doc.kb.onmousedown = ev => {
 }
 
 if (doc.demo) {
-  let fonts=[["DejaVu","Mod"],["BQN386"],["Fairfax","HD"],["3270","font"],["Julia","Mono"]];
+  let fonts=[["DejaVu","Mod"],["BQN386"],["Fairfax","HD"],["3270","font"],["Iosevka","Term"],["Julia","Mono"]];
   let fclass = f => f==="3270"?"f"+f:f
   let fontsel = '<select>'+fonts.map(f =>
       '<option value="'+f[0]+'">'+f[0]+(f[1]?' '+f[1]:'')+'</option>'
diff --git a/docs/style.css b/docs/style.css
index 8392cf42..a3e5a630 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -49,6 +49,10 @@ table th {
   src: url(BQN386_sub.woff2) format('woff2');
 }
 @font-face{
+  font-family: Iosevka;
+  src: url(Iosevka_sub.woff2) format('woff2');
+}
+@font-face{
   font-family: JuliaMono;
   src: url(JuliaMono_sub.woff2) format('woff2');
 }
@@ -58,6 +62,7 @@ table th {
 }
 pre.DejaVu , .DejaVu  .kb span, .DejaVu  .code, .DejaVu  .rslt { font-family:BQN,monospace; }
 pre.BQN386 , .BQN386  .kb span, .BQN386  .code, .BQN386  .rslt { font-family:BQN386,monospace; }
+pre.Iosevka, .Iosevka .kb span, .Iosevka .code, .Iosevka .rslt { font-family:Iosevka,f3270,monospace; }
 pre.Julia  , .Julia   .kb span, .Julia   .code, .Julia   .rslt { font-family:JuliaMono,monospace; }
 pre.Fairfax, .Fairfax .kb span, .Fairfax .code, .Fairfax .rslt { font-family:FFHD,monospace; font-size:1.1rem; line-height:1.01; }
 .Fairfax .kb span { line-height:1.25; }