aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2020-11-01 14:33:22 -0500
committerMarshall Lochbaum <mwlochbaum@gmail.com>2020-11-01 14:33:22 -0500
commit52654b396d5af7c0745aba8818b051440ef6529f (patch)
treebe1df60a5877e7de764d3d80c7f0fcf1fa5c022e /docs
parentb97c48f25134a558cdce8222d7ecebf836ddb696 (diff)
Fix backing font size
Diffstat (limited to 'docs')
-rw-r--r--docs/repl.js2
-rw-r--r--docs/tutorial/expression.html18
2 files changed, 10 insertions, 10 deletions
diff --git a/docs/repl.js b/docs/repl.js
index 0793dc7d..9d6ccebe 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -45,7 +45,7 @@ if (doc.doexplain) doc.doexplain.onclick = () => {
if (explain===undefined) {
let drawEval = run(
new Uint8Array([0,18,22,0,0,11,22,0,1,11,14,15,1,22,0,2,11,14,0,15,0,11,0,55,19,22,0,3,11,14,15,2,22,0,4,11,14,21,0,4,0,40,0,20,0,48,0,77,8,7,9,22,0,5,11,14,15,3,22,0,6,11,14,15,4,22,0,7,11,14,15,5,22,0,8,11,14,21,0,8,0,40,21,0,8,0,20,0,72,19,7,0,20,9,0,23,0,55,19,15,6,3,3,0,52,0,15,0,5,0,56,19,8,22,0,9,11,14,0,43,15,7,7,0,20,0,81,19,22,0,10,11,14,0,55,0,53,21,0,10,0,46,0,11,8,8,0,20,9,0,49,0,20,8,22,0,11,11,14,15,8,22,0,12,11,14,0,40,21,0,8,7,0,39,0,21,7,0,88,0,89,3,2,19,22,0,13,11,14,21,0,11,0,46,21,0,7,8,22,0,14,11,14,15,9,22,0,15,11,14,0,62,0,63,3,2,22,0,16,11,14,0,56,0,55,3,2,0,2,21,0,16,17,22,0,17,11,14,0,56,0,57,3,2,0,3,21,0,16,17,0,0,0,55,17,22,0,18,11,14,0,61,22,0,19,11,14,0,92,21,0,12,16,22,0,20,11,14,0,93,21,0,12,16,22,0,21,11,14,0,95,21,0,12,0,94,17,22,0,22,11,14,0,96,21,0,12,0,94,17,22,0,23,11,14,0,97,21,0,12,0,94,17,22,0,24,11,14,0,98,21,0,12,0,94,17,22,0,25,11,14,15,10,22,0,26,11,14,0,100,0,101,0,20,0,61,0,24,16,0,0,0,71,17,17,0,102,0,103,0,104,0,105,0,106,0,107,0,108,0,109,0,110,0,111,0,20,0,75,17,0,20,0,87,17,0,112,0,113,3,14,0,19,0,46,0,56,3,2,17,0,27,16,0,39,0,11,7,16,22,0,27,22,0,28,4,2,11,14,0,114,0,115,0,116,0,117,0,118,0,119,0,120,3,7,0,20,22,0,27,13,14,15,11,21,0,28,7,22,0,29,11,14,21,0,27,0,40,15,12,7,16,22,0,30,11,14,15,13,22,0,31,11,25,0,55,0,17,21,0,2,17,0,54,0,16,0,38,0,19,7,0,55,0,56,3,2,19,0,49,0,38,0,40,0,23,0,20,0,76,19,0,20,0,22,19,7,7,8,8,22,0,3,11,14,21,0,1,21,1,1,0,48,21,1,0,0,31,0,50,21,0,3,8,9,0,20,0,48,0,11,8,0,40,0,55,7,19,8,16,25,21,0,1,0,19,16,0,58,0,46,0,36,8,0,11,0,19,9,0,18,0,40,21,0,0,7,0,20,9,3,4,0,52,0,15,0,5,0,57,19,8,16,25,0,78,21,0,2,0,79,3,3,0,20,16,22,0,3,11,14,0,80,21,0,2,0,22,0,81,0,32,21,0,2,17,0,31,16,17,0,79,3,3,0,20,16,22,0,4,11,14,21,0,1,21,1,3,16,22,0,5,11,14,21,0,4,21,0,5,0,54,0,11,0,46,0,19,8,8,0,47,15,14,21,0,1,21,0,5,0,54,21,1,5,8,16,7,8,21,0,3,17,0,20,16,25,0,78,21,0,1,0,82,3,3,0,20,16,25,21,0,1,0,15,16,0,14,0,58,17,0,36,16,14,21,0,1,0,60,0,49,0,11,8,0,9,0,11,0,48,0,59,8,19,16,0,36,16,14,0,61,22,0,3,11,0,38,0,4,7,0,57,17,22,0,4,11,14,15,15,22,0,5,11,14,21,0,1,0,7,16,0,0,21,0,4,0,2,0,56,17,0,3,16,17,22,0,6,11,0,5,16,22,0,7,11,14,0,83,0,28,0,58,0,11,21,0,1,17,17,21,0,7,21,0,5,0,18,0,6,0,55,19,0,42,0,4,7,21,0,3,19,0,5,9,0,0,0,55,19,7,16,0,0,0,71,17,21,0,7,0,1,21,0,6,17,0,2,21,0,4,17,0,5,16,0,84,21,0,5,0,57,7,0,28,0,48,0,2,0,46,0,26,0,50,0,45,0,10,7,8,8,8,9,0,0,0,71,19,0,20,0,85,19,3,2,0,52,0,11,0,48,0,58,8,8,16,3,3,0,20,16,25,21,0,1,14,0,58,0,36,16,25,21,0,2,0,86,21,0,1,0,87,3,4,0,20,16,25,15,16,22,0,3,11,14,21,0,1,21,0,3,0,74,7,16,0,40,21,0,3,0,73,7,7,16,0,40,21,1,10,7,0,20,9,0,49,0,20,8,0,51,0,12,8,21,0,2,17,25,21,0,1,21,1,6,0,91,21,0,2,21,1,9,16,3,2,21,1,11,0,90,17,17,25,21,0,1,0,40,0,20,7,0,21,0,40,0,31,0,48,0,55,8,7,19,16,0,40,21,1,6,0,48,21,1,13,21,1,11,0,99,19,8,7,21,0,2,0,41,0,0,7,0,58,0,58,0,64,3,2,3,2,17,17,22,0,3,11,14,21,0,3,0,39,0,11,7,16,0,40,21,1,6,7,21,1,24,21,1,25,3,2,17,21,1,6,21,1,23,17,25,0,32,0,48,21,0,1,0,20,16,8,0,29,21,0,1,0,40,0,13,7,16,0,45,0,0,7,16,19,25,0,122,0,20,21,0,1,17,0,20,0,121,17,25,21,0,2,22,0,3,22,0,4,22,0,5,22,0,6,22,0,7,4,5,11,14,0,123,0,124,0,125,0,126,3,4,0,38,0,1,7,0,71,17,22,0,8,22,0,9,22,0,10,22,0,11,4,4,11,14,15,17,22,0,12,11,14,21,0,3,21,0,6,3,2,0,40,0,28,0,48,21,0,12,8,7,16,22,0,13,22,0,14,4,2,11,14,0,66,0,38,0,23,7,22,0,14,13,14,21,0,9,0,30,21,0,13,17,22,0,15,11,0,1,21,0,10,0,30,21,0,13,17,17,0,45,0,0,7,16,22,0,16,11,14,21,0,16,0,31,0,66,17,0,14,0,55,17,0,36,16,14,21,0,15,0,11,0,58,17,22,0,17,11,0,2,0,48,0,45,0,0,7,8,16,22,0,18,11,14,21,0,15,0,28,16,0,30,0,48,0,33,0,0,21,0,16,0,49,0,30,8,19,0,29,0,47,0,30,0,48,0,29,8,8,21,0,16,0,23,0,66,17,19,8,16,22,0,19,11,14,21,0,19,0,13,16,0,38,0,22,7,22,0,17,13,14,21,0,1,15,18,21,0,7,17,22,0,20,22,0,21,22,0,22,4,3,11,14,21,0,19,15,19,16,0,13,0,54,0,38,0,30,7,8,16,0,38,0,30,7,21,0,22,0,30,21,0,17,0,8,16,0,45,0,0,7,16,0,38,0,1,7,0,55,17,17,17,0,23,0,66,17,22,0,23,11,14,0,67,0,20,21,0,23,17,22,0,24,11,14,21,0,19,0,17,0,21,0,30,19,21,0,24,0,30,21,0,19,17,0,13,21,0,23,17,0,10,21,0,17,17,0,28,16,17,22,0,25,11,14,21,0,18,0,21,21,0,24,17,0,0,0,68,0,69,3,2,17,0,2,21,1,16,17,0,27,16,0,30,21,0,25,17,0,44,0,38,0,39,0,26,0,49,0,20,0,48,0,11,8,8,7,7,7,16,22,0,26,11,14,21,1,17,0,2,0,56,0,58,3,2,17,0,0,21,0,1,0,13,16,21,0,18,0,43,0,6,7,16,0,0,0,56,17,3,2,0,2,21,1,16,17,17,22,0,27,11,14,21,0,27,0,40,21,1,8,7,16,0,39,0,21,7,0,129,1,0,130,1,3,2,17,0,20,21,1,17,0,1,16,21,1,13,16,17,0,20,21,1,21,17,21,1,14,0,128,1,17,0,11,16,21,0,20,21,1,6,0,99,17,0,11,16,21,0,26,0,39,0,18,0,40,21,1,9,0,49,0,20,8,7,0,133,1,19,0,20,9,0,11,0,47,0,21,8,0,132,1,19,0,20,21,1,20,19,21,1,14,0,131,1,19,0,11,9,7,16,21,0,21,21,1,26,21,0,19,0,28,21,0,17,0,8,16,17,21,0,18,0,49,0,30,8,0,49,0,40,0,21,0,2,21,1,16,19,0,0,21,1,18,19,7,8,21,0,22,17,17,3,4,0,40,0,19,7,16,0,20,16,21,1,6,21,1,22,17,21,1,15,21,1,19,0,2,0,56,17,0,0,21,0,27,17,0,37,0,56,7,0,3,0,38,0,1,7,19,0,38,0,1,7,21,1,17,0,0,21,1,19,17,19,0,38,0,20,7,0,17,19,0,48,0,6,0,48,0,70,0,58,3,2,8,8,16,17,25,21,0,2,21,0,4,21,0,1,3,3,25,21,0,1,0,24,9,0,54,21,1,3,0,49,0,3,0,46,0,5,8,8,8,0,7,21,1,3,19,0,26,9,25,0,35,0,48,0,14,0,48,21,0,1,8,0,1,0,48,0,8,0,2,0,45,0,0,7,19,8,9,8,25,21,1,3,0,18,0,2,0,12,0,48,0,13,8,19,0,38,0,30,7,0,17,19,21,1,8,17,22,0,0,11,14,21,1,3,0,65,0,49,0,11,8,16,0,26,0,50,0,2,0,45,0,6,7,9,0,25,9,0,48,0,13,0,46,0,24,8,0,0,0,55,19,8,8,0,1,0,13,19,16,0,13,0,49,0,20,8,16,22,0,1,11,14,0,57,0,24,16,15,20,16,0,0,0,55,17,22,0,2,11,14,21,0,2,0,11,0,48,0,13,0,46,0,24,8,8,16,0,43,0,9,7,16,0,36,16,14,0,18,0,31,0,66,19,0,14,0,58,19,0,54,15,21,8,22,0,3,11,14,21,0,2,0,40,0,58,7,0,20,0,55,19,21,0,3,0,13,0,49,0,20,8,19,0,22,0,13,19,16,25,21,0,2,22,0,3,22,0,4,22,0,5,22,0,6,22,0,7,4,5,11,14,21,2,28,0,13,16,22,0,8,11,14,21,0,1,0,30,21,0,6,17,21,2,29,16,0,14,0,48,21,0,8,8,0,2,0,1,19,0,0,0,18,19,21,0,4,0,0,0,57,17,0,0,21,0,8,17,17,0,38,0,30,7,21,2,30,17,22,0,9,11,14,21,0,7,0,40,0,127,7,16,22,0,10,11,14,21,0,9,0,20,21,0,10,17,22,0,11,11,14,21,0,11,0,20,16,0,20,21,0,1,17,0,30,0,48,0,29,8,0,55,0,1,21,0,6,17,0,20,21,0,7,17,0,28,21,0,11,0,40,0,13,7,16,17,0,20,21,0,1,0,13,16,0,24,16,17,17,22,0,12,11,14,21,0,9,21,0,6,0,40,0,8,0,46,0,24,8,0,0,0,18,19,0,38,0,30,7,21,0,1,19,7,21,0,7,17,21,0,10,3,3,0,12,16,0,27,16,0,39,0,11,7,16,22,0,13,11,14,21,1,14,0,28,21,1,17,0,8,16,17,0,32,21,0,6,17,22,0,14,11,14,21,0,12,21,0,13,0,30,21,0,14,17,0,56,0,3,21,0,7,0,0,21,0,6,17,17,0,30,21,0,14,17,3,3,25,21,0,1,0,29,16,22,0,3,11,0,38,0,30,7,21,0,1,17,22,0,4,11,14,21,1,13,0,13,16,0,24,16,0,30,0,48,21,0,4,0,34,16,8,0,50,21,1,11,0,30,21,1,13,17,0,30,21,0,4,17,0,14,21,0,4,0,33,16,17,0,38,0,28,7,21,0,3,17,8,16,25,21,1,0,0,13,16,0,24,16,21,0,1,0,54,21,1,1,0,49,0,30,8,8,16,0,12,16,0,2,0,46,0,44,0,0,7,8,21,1,0,0,41,0,14,7,21,0,1,17,17,25,21,0,1,0,30,0,48,21,0,2,0,28,21,0,1,17,8,0,50,0,40,0,55,7,8,16,21,1,3,21,0,2,0,38,0,30,7,16,17,25])
- ,[runtime[0],runtime[1],runtime[2],runtime[3],runtime[4],runtime[6],runtime[7],runtime[8],runtime[9],runtime[10],runtime[11],runtime[12],runtime[13],runtime[14],runtime[15],runtime[18],runtime[19],runtime[20],runtime[21],runtime[22],runtime[23],runtime[24],runtime[25],runtime[26],runtime[27],runtime[29],runtime[30],runtime[31],runtime[32],runtime[33],runtime[35],runtime[36],runtime[37],runtime[38],runtime[40],runtime[41],runtime[42],runtime[43],runtime[44],runtime[45],runtime[46],runtime[47],runtime[48],runtime[49],runtime[50],runtime[51],runtime[52],runtime[53],runtime[54],runtime[55],runtime[56],runtime[57],runtime[58],runtime[59],runtime[61],1,2,3,0,-Infinity,Infinity,10,10.75,24,-2,128,-1,-1.25,0.6,0.1,512,'0',' ','=','|','\"',str("t"),str(" "),str("<"),str(">"),str("</"),str(" "),str("/>"),str("-"),str(""),str("."),str("=\'"),str("\'"),str("x"),str("y"),str("svg"),str("viewBox"),str("class=Paren|stroke=currentColor|fill=none|stroke-width=1"),str("class=code|stroke-width=1|rx=10"),str("g"),str("font-family=BQN,monospace|font-size=18px"),str("text-anchor=middle"),str("class=codeCover|stroke-width=6|stroke-linejoin=round"),str("font-size=15px|opacity=0.9"),str("text"),str("Number"),str("¯.π∞"),str("Paren"),str("()"),str("Bracket"),str("⟨⟩"),str("Brace"),str("{}"),str("Nothing"),str("·"),str("String"),str("@"),str("Comment"),str("#"),str("Gets"),str("Ligature"),str("Separator"),str("Value"),str("Function"),str("Modifier"),str("Modifier2"),str("<tspan class=\'"),str("\'>"),str("11111000000000010000022000"),str("000//232323223102303200121"),str("11111111111111011101111111"),str("00000110111001001101000100"),str("</tspan>"),str("rect"),str("width"),str("height"),str("path"),str("d"),str("MVH")]
+ ,[runtime[0],runtime[1],runtime[2],runtime[3],runtime[4],runtime[6],runtime[7],runtime[8],runtime[9],runtime[10],runtime[11],runtime[12],runtime[13],runtime[14],runtime[15],runtime[18],runtime[19],runtime[20],runtime[21],runtime[22],runtime[23],runtime[24],runtime[25],runtime[26],runtime[27],runtime[29],runtime[30],runtime[31],runtime[32],runtime[33],runtime[35],runtime[36],runtime[37],runtime[38],runtime[40],runtime[41],runtime[42],runtime[43],runtime[44],runtime[45],runtime[46],runtime[47],runtime[48],runtime[49],runtime[50],runtime[51],runtime[52],runtime[53],runtime[54],runtime[55],runtime[56],runtime[57],runtime[58],runtime[59],runtime[61],1,2,3,0,-Infinity,Infinity,10,10.75,24,-2,128,-1,-1.25,0.6,0.1,512,'0',' ','=','|','\"',str("t"),str(" "),str("<"),str(">"),str("</"),str(" "),str("/>"),str("-"),str(""),str("."),str("=\'"),str("\'"),str("x"),str("y"),str("svg"),str("viewBox"),str("class=Paren|stroke=currentColor|fill=none|stroke-width=1"),str("class=code|stroke-width=1|rx=10"),str("g"),str("font-family=BQN,monospace|font-size=18px"),str("font-size=15px|text-anchor=middle"),str("class=codeCover|stroke-width=8|stroke-linejoin=round"),str("opacity=0.9"),str("text"),str("Number"),str("¯.π∞"),str("Paren"),str("()"),str("Bracket"),str("⟨⟩"),str("Brace"),str("{}"),str("Nothing"),str("·"),str("String"),str("@"),str("Comment"),str("#"),str("Gets"),str("Ligature"),str("Separator"),str("Value"),str("Function"),str("Modifier"),str("Modifier2"),str("<tspan class=\'"),str("\'>"),str("11111000000000010000022000"),str("000//232323223102303200121"),str("11111111111111011101111111"),str("00000110111001001101000100"),str("</tspan>"),str("rect"),str("width"),str("height"),str("path"),str("d"),str("MVH")]
,[[0,1,0,32],[0,0,484,4],[0,0,571,3],[0,0,614,6],[0,0,717,3],[0,0,730,8],[0,0,954,3],[0,0,964,3],[0,0,980,4],[0,0,1031,3],[0,0,1056,4],[1,1,1153,2],[0,0,1183,3],[0,0,1197,28],[1,0,1950,5],[1,1,1962,2],[1,1,1994,2],[0,1,2024,4],[0,0,2214,15],[0,0,2512,5],[0,0,2594,3],[0,0,2645,3]]
);
explain = (s,c) => {
diff --git a/docs/tutorial/expression.html b/docs/tutorial/expression.html
index dca9be5e..0da607d5 100644
--- a/docs/tutorial/expression.html
+++ b/docs/tutorial/expression.html
@@ -128,8 +128,8 @@
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M17.2 2.4V74.4H27.95'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M27.95 74.4V98.4H70.95'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M70.95 98.4V122.4H-6.987'/>
- <g text-anchor='middle'>
- <g class='codeCover' stroke-width='6' stroke-linejoin='round'>
+ <g font-size='15px' text-anchor='middle'>
+ <g class='codeCover' stroke-width='8' stroke-linejoin='round'>
<text x='156.875' y='33'>3</text>
<text x='146.125' y='33'>⋆</text>
<text x='135.375' y='33'>2</text>
@@ -140,7 +140,7 @@
<text x='27.875' y='81'>÷</text>
<text x='17.125' y='81'>4</text>
</g>
- <g font-size='15px' opacity='0.9'>
+ <g opacity='0.9'>
<text x='156.875' y='31'><tspan class='Number'>3</tspan></text>
<text x='146.125' y='31'><tspan class='Function'>⋆</tspan></text>
<text x='135.375' y='31'><tspan class='Number'>2</tspan></text>
@@ -184,8 +184,8 @@
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M49.45 96.9V115.9H17.2'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M17.2 115.9V134.9H135.45'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M135.45 134.9V153.9H-6.987'/>
- <g text-anchor='middle'>
- <g class='codeCover' stroke-width='6' stroke-linejoin='round'>
+ <g font-size='15px' text-anchor='middle'>
+ <g class='codeCover' stroke-width='8' stroke-linejoin='round'>
<text x='189.125' y='28'>2</text>
<text x='178.375' y='28'>√</text>
<text x='167.625' y='47'>+</text>
@@ -199,7 +199,7 @@
<text x='27.875' y='104'>3</text>
<text x='17.125' y='123'>√</text>
</g>
- <g font-size='15px' opacity='0.9'>
+ <g opacity='0.9'>
<text x='189.125' y='26'><tspan class='Number'>2</tspan></text>
<text x='178.375' y='26'><tspan class='Function'>√</tspan></text>
<text x='167.625' y='45'><tspan class='Function'>+</tspan></text>
@@ -358,8 +358,8 @@
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M49.45 39.9V58.9H49.45'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M6.45 1.9V58.9H49.45'/>
<path class='Paren' stroke='currentColor' fill='none' stroke-width='1' d='M49.45 58.9V77.9H-6.987'/>
- <g text-anchor='middle'>
- <g class='codeCover' stroke-width='6' stroke-linejoin='round'>
+ <g font-size='15px' text-anchor='middle'>
+ <g class='codeCover' stroke-width='8' stroke-linejoin='round'>
<text x='81.625' y='66'>4</text>
<text x='60.125' y='47'>+</text>
<text x='49.375' y='47'>∘</text>
@@ -367,7 +367,7 @@
<text x='27.875' y='28'>×</text>
<text x='6.375' y='66'>3</text>
</g>
- <g font-size='15px' opacity='0.9'>
+ <g opacity='0.9'>
<text x='81.625' y='64'><tspan class='Number'>4</tspan></text>
<text x='60.125' y='45'><tspan class='Function'>+</tspan></text>
<text x='49.375' y='45'><tspan class='Modifier2'>∘</tspan></text>