On Mon, Sep 07, 2009 at 11:02:29PM +0200, Patrick Schmidt wrote: > > > > What happens if we simply remove that background color? I mean, > > > if we're displaying a png, we don't *want* any background color in > > > there anyway. > Why don't we want any background colors? Don't they ensure that > the basic layout remains if somebody deactivates the graphics in > the browser.
Hmm, you have a point there.k > > That's okay with me. There are at least two (maybe three) > > background colors to remove though (starting with > > div#tocframe). > > > > The line-height/padding issue is different though; the patch I > > posted might fix it if the other Patrick agrees that it looks > > okay. > It sure does look okay. Thank you very much. BTW as I don't have > much/any experience with git I integrated your changes manually. > I'm sure I could have used a git command for this. Graham could > you please commit and upload Patrick's patch? Just include it in your next patch. Cheers, - Graham _______________________________________________ lilypond-user mailing list lilypond-user@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-user