k...@freefriends.org (Karl Berry) skribis: > To the best of my knowledge, you can use --html or override MAKEINFO or > probably other things to get whatever css you want into the gendocs.sh > output. Feel free to do that for your own manuals. > > I don't want to change the defaults in any such wholesale way. (I also > don't expect you to agree with that, but that's how I feel.)
Indeed, the idea here was to improve the style while preserving consistency. That seemed pretty non-controversial to me. Could you explain why you think this is inappropriate? Or maybe this is off-topic here and should be discussed with webmast...@gnu.org? I’m open to any suggestions you may have. Thanks, Ludo’.
