Es ist vom Themeschalter inspiriert und
https://meta.discourse.org/t/header-theme-toggle/113496
Damit kannst du zwischen dem aktuellen Theme und dem dunklen Theme (im Admin-Tool definiert) wechseln.
1 „Gefällt mir“