[Back] [Up] [Next]

Manual conventions

This manual uses the following conventions:

Element

All GUI elements, like windows, menus, and buttons will use bold helvetica.

Chapters

All references to other chapters will use Bold Times.

Documents

All document names will be italicized.