das geht nur in der userChromeShadow.css.
Dafür bedanke ich mich ganz herzlich, soweit war ich noch nicht.
Aber es geht mir hauptsächlich um den gerade aktiven Button, um dort hintergrund, usw. zu ändern. Dazu finde ich nicht den passenden Selektor.