(define-public (set-paper-dimension-variables mod)
(module-define! mod 'dimension-variables
- '(after-title-space
- before-title-space
- between-system-padding
- between-system-space
- between-title-space
- blot-diameter
+ '(blot-diameter
bottom-margin
cm
foot-separation
line-thickness
line-width
mm
- page-top-space
paper-height
paper-width
pt