Merge pull request #9731 from MrPetovan/task/various-theme-changes
authorMichael Vogel <icarus@dabo.de>
Thu, 31 Dec 2020 18:41:06 +0000 (19:41 +0100)
committerGitHub <noreply@github.com>
Thu, 31 Dec 2020 18:41:06 +0000 (19:41 +0100)
Various theme changes


Trivial merge