Hello, I have changed the default font of Emacs and stored this setting in my ~/.emacs file. When I restart Emacs, this font is used. However, when I open an Agda buffer, Agda overrules my decision. How can I permanently change the font for Agda? Best wishes, Wolfgang