On Fri, Dec 6, 2013 at 11:08 AM, Phil Holmes <[email protected]> wrote:
> > Well, yes, as CPU load. I remain of the view that this is not a good use > of time - there are other things that will be of greater value for less > effort. Remember, you'll not be doing this by editing HTML, but the > texi2HTML control files. > >From looking at the git repo, I was under the impression that changing the background image of the header would be handled by a CSS file, which appears to exist as a monolithic css file in the repo. So that would be a direct edit. That's why the facelift is item #1 on my list, because it requires the least technical knowledge to make happen.
_______________________________________________ lilypond-user mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-user
