David went live with the fixes last night.
Very good. Will be my fixed setting from now. I find I use dark theme increasingly in all apps where it is available.
A few more changes were done yesterday.
I think it looks good.
Looks good in Chrome OS (and Chrome browser)
