Several features in Tiki are themed via jQuery UI ThemeRoller, and we have a jQueryUI theme picker, which is distinct from the global Tiki theme picker.
This was a problem before Bootstrap, and we need to find a way to address this.
Related links