diff options
| -rw-r--r-- | docs/repl.js | 2 | ||||
| -rw-r--r-- | docs/style.css | 4 |
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("​"); // zero-width space +}).concat(['<a href="keymap.html" target="_blank">map</span>']).join("​"); // 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; |