*** Vertical layout The vertical layout is determined by the variables `ps-bottom-margin', `ps-top-margin', and `ps-header-offset'. All are measured in points.