On 07/09/16 01:06, Paul Smith wrote:
Thanks, Stan. And if one wants to change the color that is used for background of highlighted text?
See.....
http://kb.mozillazine.org/index.php?title=UserChrome.css&printable=yes
and
http://kb.mozillazine.org/Selected_text_background_color