On Tue, Oct 5, 2021 at 3:46 AM michael böhm <[email protected]> wrote:

> Thanks, that worked for me.
>
> Is there also a way to override the mousover highlight color (green by
> default)? I did not find it in the CSS. Is this done in javascript?
>

Mouseover highlight of what element or part of the screen, specifically?

-Nick

Reply via email to