Dennis e78a568af7 fixes hover issue		2025-10-13 13:26:15 +02:00
..
dnsc	fixes some theme highlights	2025-09-22 08:13:13 +02:00
plugins	fixes hover issue	2025-10-13 13:26:15 +02:00