Re: small web update with texi2html patch

[Jan Nieuwenhuizen]

On do, 2009-07-30 at 03:02 -0700, Graham Percival wrote:
> On Thu, Jul 30, 2009 at 11:47:29AM +0200, Jan Nieuwenhuizen wrote:

> Interesting idea.  They still flow onto a second layer, but it's
> certainly a step in the right direction.
> (yes, I still claim that 800 pixels wide should be big enough for
> everybody.  :)

Yes, it's still too wide :-)

> Why not make it a patch for web-texi2html.init ?  That's how we do
> all the other overriding stuff for texi2html.

That sounds like a good idea.  It may even be that someone can
pull this off [I won't] :-)

> Technical issues aside, I like the shorter names -- so why don't
> we use them as the node names?

Even better idea.

Greetings,
Jan.

-- 
Jan Nieuwenhuizen <address@hidden> | GNU LilyPond - The music typesetter
Avatar®: http://AvatarAcademy.nl    | http://lilypond.org