Hi, I'm a newcomer to the forum. I have used wxMaxima intermittently in the past but recently I have begun to use it much more frequently. As a result, the readability of the GUI has become something of an issue for me. Firstly, I would like to increase the size of the GUI menu font and secondly, install a dark theme, if any are available. I know these are relatively slight matters alongside wxMaxima's massive capabilities but if the lily can be gilded then why not. Any help would be much apprec...