@oli I had a look in the code. Basically, it sets the text font you've chosen for the entire editor. If I set it only for the document within the editor, the header and footer font stays as the GUI font.
Using the GUI font looks fine as well, so I don't mind changing it. Could you just create a feature request for it if you have time, and I can make the change? It's a two line fix. 😁