I agree it is annoying. I don't know where arduino gets its information on how to set font and color but it looks like the theme you are using gives this problem. Maybe a mint forum might be a better way to find out more.
Have you noticed that the currently selected board and port is also visible in the bottom right of the IDE. That may take away some of the annoyance.