add hotkey '?' for hotkeys listing

This commit is contained in:
ed
2022-10-30 16:05:14 +00:00
parent aae14de796
commit fc5bfe81a0
6 changed files with 185 additions and 1 deletions

View File

@@ -4,6 +4,12 @@ html, body {
font-family: sans-serif;
line-height: 1.5em;
}
html.y #helpbox a {
color: #079;
}
html.z #helpbox a {
color: #fc5;
}
#repl {
position: absolute;
top: 0;