Which css file should the new web be using?

2010-08-04 Thread Trevor Daniels
Graham While looking into the @help in download.itexi (the font size used for smallexample) I noticed that the css file currently being used to build the web is css/lilypond-web.css. Is this correct? The css title is Patrick McCarty's design and there is a beautifully-laid out css file

Re: Which css file should the new web be using?

2010-08-04 Thread Graham Percival
On Wed, Aug 04, 2010 at 12:45:09PM +0100, Trevor Daniels wrote: While looking into the @help in download.itexi (the font size used for smallexample) Only if you're certain that it shouldn't be fixed in the texinfo, btw. I mean, it might be better to rewrite something, or end the itemized list

Re: Which css file should the new web be using?

2010-08-04 Thread Patrick McCarty
On Wed, Aug 4, 2010 at 4:45 AM, Trevor Daniels t.dani...@treda.co.uk wrote: While looking into the @help in download.itexi (the font size used for smallexample) I noticed that the css file currently being used to build the web is css/lilypond-web.css.  Is this correct? The css title is