Re: Issue 1160 in lilypond: css overrides for ie7

[lilypond]

Comment #2 on issue 1160 by pnorcks: css overrides for ie7
http://code.google.com/p/lilypond/issues/detail?id=1160

Aha!  It would have helped if I checked the source code first (from the  
texi2html init file):

  # FIXME: the website doesn't use ie7-specific fixes; do the
  # docs still need this?  -gp

We absolutely *need* the lilypond-ie-fixes.css stylesheet for the docs, but  
not for the website.

Unfortunately, lilypond-ie-fixes.css is being used for the website, and  
this is what's causing all of the trouble.

Would it suffice to add

  if ($web_manual) {
  }

around the lilypond-ie-fixes stuff?