export { default as WorkbenchTheme } from './WorkbenchTheme';