Dennis bf6fef84b2 use another way of setting theme		2025-10-23 09:50:52 +02:00
..
modus-vivendi-tinted.fish	use another way of setting theme	2025-10-23 09:50:52 +02:00