aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-17 13:25:26 -0400
committerMarshall Lochbaum <mwlochbaum@gmail.com>2021-06-17 14:10:25 -0400
commitce25d03b14a02761f4014d56251e29b40f8536c2 (patch)
tree4429a99a2256bd3a6e009f0e31227509cdaa5c6e
parent3cb0260e07d5db98a415e55efaa276ee38620e0f (diff)
Add a more neutral color for non-emphasized lines
-rw-r--r--doc/depth.md2
-rw-r--r--doc/replicate.md6
-rw-r--r--docs/doc/depth.html20
-rw-r--r--docs/doc/replicate.html6
-rw-r--r--docs/style.css2
5 files changed, 19 insertions, 17 deletions
diff --git a/doc/depth.md b/doc/depth.md
index 23bfe37b..cc079ad6 100644
--- a/doc/depth.md
+++ b/doc/depth.md
@@ -8,7 +8,7 @@ a ← ⟨⟨@,⟨@,@,@⟩⟩,@,⟨@,@⟩⟩
g ← "g"At"font-family=BQN,monospace|font-size=16px|text-anchor=middle|fill=currentColor|stroke-width=0|stroke=currentColor|stroke-linecap=round"
rc ← At "class=code|stroke-width=1.5|rx=12"
-lc ← "line"At"stroke-width=2|class=purple|opacity=0.8"
+lc ← "line"At"class=lilac|stroke-width=2"
tc ← "text"At"dy=-0.2em|class=Number"
TN←tc Enc FmtNum
diff --git a/doc/replicate.md b/doc/replicate.md
index 106a36e5..780f5654 100644
--- a/doc/replicate.md
+++ b/doc/replicate.md
@@ -10,7 +10,7 @@ Ge ← "g"⊸At⊸Enc
g ← "font-family=BQN,monospace|font-size=18px|text-anchor=middle"
hg ← "class=bluegreen|stroke-width=0|opacity=0.2"
cg ← "font-size=24px|text-anchor=end"
-lg ← "stroke-linecap=round|stroke=currentColor|opacity=0.7"
+lg ← "class=lilac|stroke-linecap=round"
wv ← 0‿1‿1‿0‿3‿2‿0‿0‿0
xl ← ≠ xc ← ⊐ xt ← '''(Highlight∾∾⊣)¨"replicate"
@@ -31,8 +31,8 @@ Ll ← Line∘⍉ ≍ + (0≍0.05×-○⊑)≍˘0.45‿¯0.55˙
cg Ge (¯0.7≍¨y) Text⟜Highlight¨ "𝕨"‿"𝕩"‿"𝕨/𝕩"‿"/𝕨"
tp Text¨○∾ Highlight∘•Repr¨¨⌾(1‿3⊸⊏) xt‿wv‿(wv/xt)‿(/wv)
lg Ge ⟨
- "stroke-width=0.4" Ge Ll¨ ´ (0=wv)⊸/¨ 2⊸↑ tp
- "stroke-width=1.5" Ge > Ll¨¨˝˘ 2↕ wv⊸/¨⌾(2⊸↑)tp
+ "stroke-width=0.6" Ge Ll¨ ´ (0=wv)⊸/¨ 2⊸↑ tp
+ "stroke-width=1.8" Ge > Ll¨¨˝˘ 2↕ wv⊸/¨⌾(2⊸↑)tp
-->
diff --git a/docs/doc/depth.html b/docs/doc/depth.html
index 2b975c4e..02af36ad 100644
--- a/docs/doc/depth.html
+++ b/docs/doc/depth.html
@@ -9,21 +9,21 @@
<g font-family='BQN,monospace' font-size='16px' text-anchor='middle' fill='currentColor' stroke-width='0' stroke='currentColor' stroke-linecap='round'>
<rect class='code' stroke-width='1.5' rx='12' x='-192' y='-32' width='384' height='172'/>
<text dy='-0.2em' class='Number'>3</text>
- <line stroke-width='2' class='purple' opacity='0.8' x2='-72' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='48' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='120' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='-72' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='48' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='120' y2='22'/>
<g transform='translate(-72 40)'>
<text dy='-0.2em' class='Number'>2</text>
- <line stroke-width='2' class='purple' opacity='0.8' x2='-72' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='24' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='-72' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='24' y2='22'/>
<g transform='translate(-72 40)'>
<text dy='-0.2em' class='Number'>0</text>
</g>
<g transform='translate(24 40)'>
<text dy='-0.2em' class='Number'>1</text>
- <line stroke-width='2' class='purple' opacity='0.8' x2='-48' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='0' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='48' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='-48' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='0' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='48' y2='22'/>
<g transform='translate(-48 40)'>
<text dy='-0.2em' class='Number'>0</text>
</g>
@@ -40,8 +40,8 @@
</g>
<g transform='translate(120 40)'>
<text dy='-0.2em' class='Number'>1</text>
- <line stroke-width='2' class='purple' opacity='0.8' x2='-24' y2='22'/>
- <line stroke-width='2' class='purple' opacity='0.8' x2='24' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='-24' y2='22'/>
+ <line class='lilac' stroke-width='2' x2='24' y2='22'/>
<g transform='translate(-24 40)'>
<text dy='-0.2em' class='Number'>0</text>
</g>
diff --git a/docs/doc/replicate.html b/docs/doc/replicate.html
index 752fc7e1..2f81bce5 100644
--- a/docs/doc/replicate.html
+++ b/docs/doc/replicate.html
@@ -50,15 +50,15 @@
<text dy='0.29em' x='192' y='127.6'><tspan class='Number'>4</tspan></text>
<text dy='0.29em' x='240' y='127.6'><tspan class='Number'>5</tspan></text>
<text dy='0.29em' x='288' y='127.6'><tspan class='Number'>5</tspan></text>
- <g stroke-linecap='round' stroke='currentColor' opacity='0.7'>
- <g stroke-width='0.4'>
+ <g class='lilac' stroke-linecap='round'>
+ <g stroke-width='0.6'>
<line x1='0' x2='0' y1='9.9' y2='23.1'/>
<line x1='144' x2='144' y1='9.9' y2='23.1'/>
<line x1='288' x2='288' y1='9.9' y2='23.1'/>
<line x1='336' x2='336' y1='9.9' y2='23.1'/>
<line x1='384' x2='384' y1='9.9' y2='23.1'/>
</g>
- <g stroke-width='1.5'>
+ <g stroke-width='1.8'>
<line x1='48' x2='48' y1='9.9' y2='23.1'/>
<line x1='96' x2='96' y1='9.9' y2='23.1'/>
<line x1='192' x2='192' y1='9.9' y2='23.1'/>
diff --git a/docs/style.css b/docs/style.css
index 7e66cf6c..c6db8eb3 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -215,12 +215,14 @@ svg tspan {
fill: currentColor;
}
.purple { fill:#d6afe0; stroke:#3d1b46; } text.purple { fill:#3b1346; stroke:none; }
+.lilac { fill:none; stroke:#736480; } text.lilac { fill:#3b373e; stroke:none; }
.bluegreen { fill:#55cbcb; stroke:#1c4e4e; } text.bluegreen { fill:#113939; stroke:none; }
.yellow { fill:#e2d17f; stroke:#a28237; } text.yellow { fill:#7a5a0e; stroke:none; }
.red { fill:#ce8379; stroke:#861d17; } text.red { fill:#510d09; stroke:none; }
.green { fill:#6fb360; stroke:#1b6720; } text.green { fill:#14401a; stroke:none; }
@media (prefers-color-scheme: dark) {
.purple { fill:#241922; stroke:#612d86; } text.purple { fill:#6e2ca0; stroke:none; }
+.lilac { fill:none; stroke:#5a4d6a; } text.lilac { fill:#8a8285; stroke:none; }
.bluegreen { fill:#0e2525; stroke:#297f7f; } text.bluegreen { fill:#578d8d; stroke:none; }
.yellow { fill:#5b4b25; stroke:#a27e2a; } text.yellow { fill:#9d7925; stroke:none; }
.red { fill:#532923; stroke:#ae251e; } text.red { fill:#a6221a; stroke:none; }