Which css file should the new web be using?

[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 called
css/lilypond-mccarty.css, but this seems not to be used.

Patrick's file has entries for smallexample but
lilypond-web does not.

Trevor