I edited mozilla/dist/bin/html.css and changed "-moz-outline" from "1px
dotted invert" to "4px solid red".
When I ran mozilla 0.9.8, the focus ring was 4px, solid, and very red.
BUT when I ran my application which uses the embedded browser, the focus
ring was still 1px, dotted and invert.
I then tried TestGtkEmbed. The focus ring was still 1px, dotted, and invert.
Is there some option that I am missing? Should I be copying html.css
into some user directory? Is there some other location that embedding uses?
Any and all suggestions graciously accepted. Thanks in advance.
Al