Conventions used in this manual

This section describes the style conventions used in this manual.