* js/info.css (div[node]): set "overflow: hidden", as was the
setting before change on 2021-02-14.  This should not be necessary
but is an extra way to stop a double scroll bar from appearing.