Hi,
TeXmacs is just great, it’s just difficult to get around the first time… I looked everywhere but couldn’t find a way to customize the margin between the top of the page an the header, and the footer and the bottom of the page.
It’s just that the page numbers seems way too close to the page limit, and the page margins seems to control the distance between the header/footer and the main text area.