Hi Bertrand,

Quickest way to decrease the brightness of the blue horizon: right-click on it.
You'll get a dialog box that says "Horizon", with the usual buttons. Click on
"Display", and you'll get the usual controls to turn the horizon on/off, or
change its color, or make it dotted, dashed, or solid.

-- Bill