Very nice, thanks!
https://codereview.appspot.com/566920043/diff/581180043/scripts/build/output-distance.py File scripts/build/output-distance.py (right): https://codereview.appspot.com/566920043/diff/581180043/scripts/build/output-distance.py#newcode1030 scripts/build/output-distance.py:1030: open_write_file (dest_dir + '/style.css').write(''' Wouldn't it be better/more convenient/more compact to write the CSS stuff into the HTML file, too? Otherwise I can imagine to provide `style.css` in the source tree, to be not generated at all. https://codereview.appspot.com/566920043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
