The following formatting is used in the document for the given purposes:
Proprietary names of products, firms etc.
Elements of text from the user interface
Menu > Path
Menu paths in systems and programs
Program code or system inputs
Commands that are entered using the keyboard
Reference to other parts of the manual or other eDocs articles.