Eigentlich brauchst du den DivX Codec nicht.
Der ist schon im Web Player integriert.
Das Problem hab ich auch mit einigen Seiten, die den Flash Player benutzen.
Woran das liegt, weiss ich selber nicht.
Aber du kannst ja mal versuchen, DivX neuzuinstallieren.
Als alternative kannst du auch ffdshow installieren und ihm sagen, dass er DivX Videos decodieren soll.