Es handelt sich dabei um die CSS 3 Eigenschaft outline.
Ich denke die Angabe
HTML-Code:
a, button /*und wasweißichalles*/ {
 outline: none;
}
sollte das gewünschte Ergebnis erzielen.

Da es sich dabei um Stilangaben und nicht um JavaScript handelt ist entsprechend die Datei userChrome.css zu bearbeiten.