See the theme settings form in the GUI. Not critical, but an annoying bug.