# Konfiguration für das DarkThemePlugin (optional) 