Optional syntax highlighting now added to LilyPond's HTML documentation

[Jean Abou Samra]

Hi,

The change to add syntax highlighting in the HTML version of the
LilyPond documentation, discussed at

https://lists.gnu.org/archive/html/lilypond-user/2022-01/msg00012.html

on the lilypond-user list and in various lilypond-devel and GitLab
threads, has now landed in the source tree and will be included in the
next release, 2.23.7.  A demo of the latest version that has been
merged can be found at

http://abou-samra.fr/new-highlighting-demo/notation/index.html

(this will stay available for a week or so, after which I will have to
delete it in order to free space on the server).

Along with style adjustments, this includes a toggle to disable syntax
highlighting, found at the bottom of the page.  The preference can be
saved in the browser so it remains across documentation pages and
between browser sessions.

This change was discussed over months and sparked numerous posts. I
wish to thank all those, too many to list, who provided the feedback,
both positive and negative, that led to its ultimate form. Special
thanks go to Matthäus G. Chajdas, the Pygments maintainer who reviewed
and merged the pull requests against Pygments adding and refining
LilyPond support.

Best regards,
Jean