Footnote space is indeed deducted twice. This seems to be a long standing bug, none of the commits since 18 months shows any interesting change in the area.
I'll think about a fix tomorrow.
J.Pietschmann
--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
