> I don't know if it's exactly the same color. Why would you care? As long as it appears highlighted it is alright. Let people chose their own highlight colo

> I don't know if it's exactly the same color. Why would you care? As long as it appears highlighted it is alright. Let people chose their own highlight colors, and text fonts, and everything.