New themes can be added via extensions, e.g https://pixelorama.org/extension_system/extension_examples#add-a-theme
