scrolling js-info help page

[Per Bothner]

In the js-info reader, typing '?' brings up a page about "Keyboard Shortcuts".
Unfortunately, if the window height is too small, it is cut off and
there is no way to scroll it.

It was difficult to find a fix that didn't have glitches, but this seems to
work (tested in Chrome and Firefox):

2021-06-22  Per Bothner  <per@bothner.com>

        * js/info.css: Styling tweaks for js-info to make help scrollable.


diff --git a/js/info.css b/js/info.css
index d8d20e1723..14537b67ad 100644
--- a/js/info.css
+++ b/js/info.css
@@ -166,13 +166,12 @@ table#keyboard-shortcuts th {
     display: none;
     position: fixed;
     z-index: 1;
-    padding-top: 100px;
+    padding-top: 40px;
     left: 25%;
     top: 0;
+    bottom: 0px;
     width: 75%;
-    height: 100%;
-    overflow: auto;
-    background-color: rgb(0,0,0); /* Fallback color */
+    background-color: #888; /* Fallback color */
     background-color: rgba(0,0,0,0.5); /* Black w/ opacity */
 }
 
@@ -182,6 +181,8 @@ table#keyboard-shortcuts th {
     margin: auto;
     padding: 20px;
     width: 80%;
+    max-height: 100%;
+    overflow-y: auto;
 }
 
 /*-------.

Not urgent, but probably worth checking in before the release.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/