What brand and color of white paint was used for walls and trim? Thank you.