docs: alternate page headings

When building the documentation for a print format, the page numbers are
generated on the outer side for left and right pages respectively.