Letting the use choose is the right answer. I’d go as far as to argue that in some sense, theming is an important accessibility feature because it allows users to adjust UI to meet needs that the developer may not have even known to exist.