fremdes css

Hallo,
ich benutze das Theme Cover WP 1.4.1 und wollte dort den Header verändern.
Mit firebug finde ich ja heraus auf welche css-datei das Theme zurückgreift. Und siehe da - das benutzt nicht das style.css, das ich auch im Themeordner finde, sondern verschiedene andere mysteriöse (zumindest für mich) css-dateien.

Die hier zum Beispiel:
resource://gre/res/html.css
Wo finde ich denn das?

Ich arbeite lokal mit xamp, dehalb kann ich leider keinen Link schicken.
Hilfe!!
Danke!
Irmen

Ja, vielen Dank - wenn du mir jetzt auch noch verraten könntest, was resource://
bedeutet, dann wäre mir wohler!!
Denn ich kann mir nicht erklären, was das bedeuten soll.
möglicherweise wissen das wieder mal alle außer mir ...
vielen Dank Irmen

Vielen Dank für deine Antwort!
mein suchlauf ergibt nichts sinnvolles - der findet eine datei die in
"wordpress\wp-includes\js\codepress\languages"
und sich meiner meinung nach nur auf die Darstellung des -ach ich schick das mal mit:
/*
* CodePress color styles for HTML syntax highlighting
*/

b {color:#000080;} /* tags */
ins, ins b, ins s, ins em {color:gray;} /* comments */
s, s b {color:#7777e4;} /* attribute values */
a {color:green;} /* links */
u {color:#E67300;} /* forms */
big {color:#db0000;} /* images */
em, em b {color:#800080;} /* style */
strong {color:#800000;} /* script */
tt i {color:darkblue;font-weight:bold;} /* script reserved words */

kann das sein, dass das gar nichts mit dem Style für die Darstellung der Seite zu tun hat??

Danke Irmen