Rename some themes for more consistency, check of theme-ids, see #431

This commit is contained in:
Pieter Vander Vennet 2021-07-26 10:13:50 +02:00
parent bca995b985
commit 177649614d
38 changed files with 49 additions and 82 deletions