Nachtrag: die getSVGDocument() Möglichkeit funktioniert auch einwandfrei, allerdings muss sie leicht verzögert ausgeführt werden, da die SVG-Datei länger zu laden braucht, als das JavaScript.
Hier noch mal ein kleines Beispiel, falls jemand das gleiche Problem hat:
<script>
function test()
{
var svg;
svg = document.getElementById("karte_svg").getSVGDocument();
svg.documentElement.getElementById("Bayern").setAttribute('fill', '#000000');
}
setTimeout("test()",100);
</script>
Danke für die Antworten.
Aus der SVG-Datei funktioniert es mit dem parent.document gut, allerdings muss eine Virtueller Server (also über den Localhost) eingerichtet sein. Habs erst ohne versucht und war schon halb am verzweifeln ;) Bei der Möglichkeit per getSVGDocument() erkennt er zwar das Objekt, findet aber nicht die Objekte per getElementById(). Ich werde aber bei Gelegenheit noch ein bisschen rum experimentieren...