I'd opt to remove them. Nobody will miss them, I think.
What about other skins, such as classic?
Oh I see now, there are two references.
both setting the css attributes of
, IMHO there are too many of these seldomly used mini features.
These two variables are been used to customize colors of the the
, no more.
Can't these be deprecated?
Yes, deprecating seems sensible here.
Changing to Confirmed. Someone needs to take action.