Still many selectors to update in preferences.css, but how we do that depends on what our <prefwindow>/<prefpane> replacement looks like.
eae9a4447d