User`s guide

Customized Stylesheets
8-39
The font size value is a product of $body.font.master and 2.0736. To change the
font size to a larger size, change the multiplication factor to 3.0736.
Tip You specify the value for the $body.font.master data item in the Body Font
Master property. This property is in the Pagination and General Styles category in
the Options pane in the middle. The default value of this data item is 10. Changing this
value causes the derived values to change accordingly.