Hi all,

On 03/15/2017 05:59 AM, H. Hirzel wrote:
> I agree with Tony. It should be changed.

On 3/15/17, Tobias Pape <Das.Linux at gmx.de> wrote:
> Personally, I think so, yes!

OK! Thanks, Hannes and Tobias. I'll prepare something for the Inbox.

Aesthetically, is it better to have darkBackgroundHighlights answer a
lighter colour, influencing the *many* places it is used in the theme,
or to instead have "... darkBackgroundHighlights lighter" in certain
places relating to selections of various kinds?

Absent replies, I'll experiment and upload what I feel is best.

(I guess this is kind of a bike-shed discussion! "What colour shall we
paint the bike-shed^Wtext selection?")

Tony