@defun appearance, continuations

Thanks to Stepan's miraculous reimplementation of @defun and friends,
I've now changed the appearance of their header lines:
1) the name is printed in typewriter (instead of bold).
2) the arguments are printed in slanted typewriter (instead of slanted).
3) &words such as &optional are printed in bold (instead of roman).

Here is the rationale:
 . we're printing identifiers, they should be in tt in principle.
 . in languages with many accents, such as Czech or French, it's
   common to leave accents off identifiers.  The result looks ok in
   tt, but exceedingly strange in rm.
 . we don't want -- and --- to be treated as ligatures.

What do you-all think?  Does the result look ok?
(I fear I am going to get clobbered.  It doesn't look as nice as the old
 bf/sl appearance even to me, but it is far more robust.)

The changes are in CVS; I haven't updated anything else yet.
http://savannah.gnu.org/cgi-bin/viewcvs/texinfo/texinfo/doc/texinfo.tex?rev=HEAD

Thanks for any feedback,
karl


P.S. Stepan also managed to implement continuation lines for @defun!  If
the heading line ends in @, the next line continues the heading.
Whitespace around the @ continuation all collapses to a single space.
For instance:
@defun foo blah @
this is really long blah blah @
  ten zillion arguments
Here is the description of foo.

This feature is not in makeinfo yet.
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest