✏️ Editing: defaultTheme.d.ts