<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 15, 2017 at 10:38 AM, Tony Garnock-Jones <span dir="ltr"><<a href="mailto:tonyg@ccs.neu.edu" target="_blank">tonyg@ccs.neu.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<span class=""><br>
On 03/15/2017 05:59 AM, H. Hirzel wrote:<br>
> I agree with Tony. It should be changed.<br>
<br>
</span><span class="">On 3/15/17, Tobias Pape <<a href="mailto:Das.Linux@gmx.de">Das.Linux@gmx.de</a>> wrote:<br>
</span><span class="">> Personally, I think so, yes!<br>
<br>
</span>OK! Thanks, Hannes and Tobias. I'll prepare something for the Inbox.<br>
<br>
Aesthetically, is it better to have darkBackgroundHighlights answer a<br>
lighter colour, influencing the *many* places it is used in the theme,<br>
or to instead have "... darkBackgroundHighlights lighter" in certain<br>
places relating to selections of various kinds?<br>
<br>
Absent replies, I'll experiment and upload what I feel is best.<br><br></blockquote><div>Please find something that works well for you.  </div><div><br></div><div>As a point of feedback, I find even your original change is still not noticeable by me (on windows with the LCD monitor that I use - I've had similar problems in the past, too). That said, I also prefer the Monokai dark, so this doesn't directly impact me, either.</div><div><br></div><div>-cbc</div></div></div></div>