Documentation: HowToUseAttributes: formatting (use monospaced font)