I realize that there’s no easy way to change the colors.
I am trying to find a hard way, I don’t mind editing the source,
I’d appreciate pointers to where that’s happening.
thanks !