Re: CSS file for texinfo HTML output

[Gavin Smith]

On 9 February 2016 at 21:15, Per Bothner <address@hidden> wrote:
> Search paths are more difficult.  I don't know a way to trap "failing"
> location changes.
>
> However, it is possible to add an event handler for the "click" event.
> Its handler can do whatever you want to do - subject to whatever
> JavaScript lets you do - which depends on your browser environment.

I agree. Even if the link goes to a location on www.gnu.org, there's
no reason a program reading it would have to use that location
literally, other than the question of implementation.

> As the author of DomTerm (http://domterm.org), I think that would make
> a great framework for an info program: It's a general-purpose terminal
> emulator, based on web technologies.  My idea is for the info program
> to check if it is running under DomTerm, and if so it "loads" the html
> document into an iframe of the same DomTerm instance.  The info program
> can use escape sequences to communicate with the documentation iframe.
> For example, it can trap clicks and search for the correct manual.

It would be great to have a graphical documentation reading program
used for reading locally installed files. If someone could create such
a thing using DomTerm, that would be great.