Manual conventions

This manual uses the following conventions:

Element	All GUI elements, like windows, menus, and buttons, will use bold helvetica .
Documents	All document names will be italicized.