Adjust mars sky brightness at night. Fixes #1017