DEFAULT_THEME

The built-in theme, registered under the id default.

Its metrics are the ones the default shapes have always rendered with, so a board that never touches the theme system looks exactly as it did. Apps usually spread it — { ...DEFAULT_THEME, colors: { … } } — rather than building a theme from nothing, which keeps every field they did not think about at a sane value.