export { Badge, Badge as default } from '@rspress/core/theme-original';