Re: docs css file

2008-07-20 Thread Graham Percival
On Sun, 20 Jul 2008 10:33:18 +0200 "Valentin Villenave" <[EMAIL PROTECTED]> wrote: > please note however that this doesn't solve the issue John and > Reinhold raised a few months ago: for the sake of consistency, > whatever we're gonna do should involve *both* the website and the docs > as a "gran

Re: docs css file

2008-07-20 Thread Valentin Villenave
2008/7/19 Graham Percival <[EMAIL PROTECTED]>: > Valentin, will you have 5 hours next week to handle this? Talk to > people on -user, weigh ideas, and modify (I think!) > Documentation/texinfo.css accordingly? OK, will do. please note however that this doesn't solve the issue John and Reinhold

docs css file

2008-07-19 Thread Graham Percival
On Sat, 19 Jul 2008 18:11:31 +0200 John Mandereau <[EMAIL PROTECTED]> wrote: > On 2008/07/19 17:13 +0200, Reinhold Kainhofer wrote: > > > I generally agree about not hurrying too much. I vote for merging > > > dev/texi2html into master as soon as the docs look good enough: > > > no or very few br