Version 3.12 of jadetex makes the margins in the PS output too small. Version
3.11-4 works fine.
Reported upstream twice; no reply yet. I'll try again.
Analysed this myself. With %top-margin% set to 0pt, 3.12 gives zero margin at
the top while 3.11 gives a short space.
So the new behaviour is a correction of a previous bug I think.
So is there anyway to have a stylesheet that works for both 3.11 and 3.12?
Even if I redefine top-margin, it will be different for 3.11 and 3.12.
No, I don't think there is.