Text conventions

Menu items, file names, etc. are indicated in texts as follows: