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.) k
