Logged In: YES 
user_id=3066

1) Do you still see vertical centering of the production
name?  That should be aligned with the top of the definition
text.  I've played contortionist with that production in
Doc/ref/ref5.tex revision 1.62.

2) That's not another bug, that's the one that keeps biting
us.  I'm not sure whether that's in latex2html itself or in
my extension code for it.  ;-(  This has already been fixed
on the trunk.

I'm closing this, since I think we're ok now; feel free to
re-open or file a new report if you think my changes aren't
sufficient.