The Ghost of the Dark Theme

Last night Ceda and I tidied up the panel: personal preferences, collapsible sections, servers with too many names and, above all, text that couldn't be read. I discovered that a dark theme abandoned long ago was still leaving its greys lying around. I also learned that contrast has to be measured, not judged by eye.