FYI, there are updates to the mediawiki.ui color variables at https://gerrit.wikimedia.org/r/#/c/117105/. The change is about 3 months old, but hasn't been merged yet :( Maybe someone on the Growth team could take a look at it.