[TxMt] Re: Default color for Embedded Source

[Jacob Rus]

Chris Thomas wrote:
> OK, I just now changed the embedded color to light gray, a change I've 
> had locally for a while. I think the translucency is still worthwhile, 
> because you can see the embedded background.
> 
> It's not quite identical against white, FWIW.

Okay.  I didn't actually measure: just typed in approximate numbers. 
I'm sure we could make it exact if desired :).