how to change media player page

[Justinh]

I'd like to change a CSS rule on the built-in media player page. Is this possible?

[morat]

Are you talking about the video controls?

HTML5 Video
http://www.w3schools.com/html/html5_video.asp

You would need the CSS applied as an agent sheet.

Reference
view-source:chrome://global/skin/media/videocontrols.css

Similar thread: http://forums.mozillazine.org/viewtopic ... &t=3024570

[Justinh]

Exactly. I can't find the CSS that the sheet uses.

[morat]

I don't know how to apply CSS as an agent sheet in SeaMonkey.

I can apply CSS as an agent sheet using an autoconfig hack in Firefox.

userChrome.js hacks
http://forums.mozillazine.org/viewtopic ... #p14854175

* <profile directory>\chrome\styles.as.css

Code: Select all

.controlBar {
  background-color: orange !important;
  color: red !important;
}

The style works for me in Firefox.

Reference
http://searchfox.org/mozilla-esr60/sear ... ntrols.css
http://searchfox.org/mozilla-esr60/sour ... ersion.txt

[Justinh]

Thanks.