Re: CSS file for texinfo HTML output

[Tom Tromey]

Per> Also with JavaScript one could have the same keyboard shortcuts
Per> (more or less) as the info program or Emacs info mode.

See https://github.com/nicferrier/gnudoc-js

Tom