From 537430f55d8c3e32e8cffa70e04d57b80864fc79 Mon Sep 17 00:00:00 2001 From: Christian Eichert <102165928+ecx0d@users.noreply.github.com> Date: Sun, 31 Jul 2022 20:53:48 +0200 Subject: [PATCH] Update dark-theme.css just a bit css, making