On Thu, 8 Nov 2018 17:08:34 +0100, Ralf Mardorf wrote: >I only found https://github.com/horst3180/arc-theme/issues/597, but it >seemingly doesn't covers the changes for the customized version shown >by the screenshots. Oops, wrong link, it should read https://github.com/horst3180/arc-theme/issues/406.