Non-native speakers might take this theme too literally. No, this DTI theme doesn’t ask you to portray your favorite pop star. It’s actually about musicals—theater productions that include music, ...

To override this (or any other) theme in your personal config file, follow the guide in the color theme documentation. This is handy for small tweaks to the theme without having to fork and maintain ...