veronica, 18 days ago

@oli The footer is a part of the editor window though, so if it doesn't match the document, some may think that is weird too. I don't actually know what's best. I use the same font for both. 😊