Personally I think it's dumb that html browsers render <h5> smaller than
text (assuming that's what you're noticing). What can possibly be the
point of that, when would anyone ever want a heading small than text?
Exactly right!
Anyway, I can change it to keep it to h4 at the smallest. Maybe even
keeping it to h3 would be better.
Yes, I think h3 would be better. (HTML is broken, but we already knew
that.)
I am not sure. How do you change a private copy of the
`makeinfo' sources?
I don't understand?
If I were to make a local change to texinfo-4.5/ what would I change?
A couple of hours ago, I looked at my sources and could not figure out
what to do. I did a recursive grep for `h5' and did not find a
meaningful reference. What in the source code do I change?
More to the point, what do I write into the Texinfo source file
to change something like this for HTML?
There is no way.
That is what I thought, but I was not sure. Mostly, I try to avoid
HTML but it happens that I need some decent Texinfo-to-HTML.
--
Robert J. Chassell Rattlesnake Enterprises
http://www.rattlesnake.com GnuPG Key ID: 004B4AC8
http://www.teak.cc [EMAIL PROTECTED]
_______________________________________________
Bug-texinfo mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-texinfo
