should be:18.11.19 Added: Default dark mode background color is now a bit brigher (RGB=32,32,32), the same as in the Explorer (32/64)
18.11.19 Added: Default dark mode background color is now a bit brighter (RGB=32,32,32), the same as in the Explorer (32/64)