fix text color and font for labels (especially in table view cells)
react to changes of the "display coordinates" user preference
eliminate all traces of autoresizingMask