How to change fonts

[Mark]

Good idea, Александр. We’ll look into that. Thanks!

Thanks Mark, I think for simple formatting it would be interesting to offer the same monospaced font If possible for both iOS and Android. Now their names are different - monospace and Courier (for example).