/doc/src/snippets/textdocument-charformats/