On Wed, Feb 17, 2021 at 5:15 PM Per Bothner <[email protected]> wrote: > > I don't notice any difference. > > These two problems are solved now: > > * js-info sidebar shows too many entries (in my opinion). > Compare https://per.bothner.com/tmp/DomTerm-txjs/Tips-and-solutions.html > with https://domterm.org/Tips-and-solutions.html > [This requires changes to info.js which I can probably handle.] > > * Related: Boldface or other emphasis in the sidebar for the current page > is I think helpful. > > Note this only happened for http:/https:, not for file:.
It looks good now at your link.
