I'm much less experienced with colors and also cannot properly judge so detailed changes.
But I can say that I'm currently using the colors from this PR changes and they look very good on my setup (old Thinkpad display + dark grey GTK theme), being totally aware that this is just another random combination of display type, ambient light, theme, personal preferences, moonlight, etc. :D.

I'd also vote for merge!

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.