Too bad. So here is a workaround I’m using.
If anybody else is looking for a way to use different fonts with the Rich Text module, you can edit the source code directly (Advanced > Source code) and add a font-family to the HTML like this:
