Add map link to REPL keybars

2 files changed, 5 insertions, 1 deletions

diff --git a/docs/repl.js b/docs/repl.js
index ad552d28..85354395 100644
--- a/docs/repl.js
+++ b/docs/repl.js
@@ -116,7 +116,7 @@ doc.kb.innerHTML = keydesc.map(d=>{
   let k = revkeys[c]; if (k) t += '\n\\ '+(k==='"'?'"':k);
   primhelp[c] = t;
   return '<span title="'+t+'" class="'+s+'">'+c+'</span>'
-}).join("&#8203;"); // zero-width space
+}).concat(['<a href="keymap.html" target="_blank">map</span>']).join("&#8203;"); // zero-width space
 doc.kb.onmousedown = ev => {
   let t = ev.target;
   if (t.nodeName === 'SPAN') {
diff --git a/docs/style.css b/docs/style.css
index c6db8eb3..cac561d9 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -116,6 +116,10 @@ textarea { width: 100%; outline: none; resize: vertical; margin: 0; }
   cursor: default;
   padding: 1px;
 }
+.kb a {
+  margin-left: 0.8em;
+  font-size: 0.8em; vertical-align: 0.08em; opacity: 0.8;
+}
 .kb select {
   position: absolute; bottom: 0.4em; right: 0.1em;
   color: currentColor; opacity: 0.5;