Next / Previous / Contents / Shipman's homepage

8.17. HEAD_SIZE

Font size for the running head.

listext2
HEAD_SIZE = "9pt"