Darker Comment Color

See #2711