[Tobia]

I wrote:
Does anybody know how to customize the colors of the "white on blue"
mode? (Tools / Options / General / White text on blue background)

I'd like to change the blue to a darker one, as #0000FF is quite hard
on the eyes. Miles better than white, of course, but still hard.

Heh, it's #000080, not #0000FF, but I'd like to choose a different shade
of blue. Does anybody have any hint?


Toby