--- a/player/js/player.js Thu Jun 20 15:42:31 2013 +0200
+++ b/player/js/player.js Thu Jun 20 16:09:24 2013 +0200
@@ -490,7 +490,7 @@
var extension = (src.match(/\.([\d\w]+)$/) || ["",""])[1],
mimetype = annotationinfo.type + "/" + extension,
- fallbacks = { "video/webm": "mp4", "video/mp4": "webm" },
+ fallbacks = { "video/webm": "mp4", "video/mp4": "webm", "audio/ogg": "mp3", "audio/mp3": "ogg" },
canPlay = document.createElement("video").canPlayType(mimetype);
if (!canPlay) {
@@ -521,6 +521,8 @@
switch (annotationinfo.annotation.content.markup) {
case "html":
annotationDiv.find(".text-contents").html(text);
+
+ //annotationDiv.find(".text-contents [style]").attr("style","");
var ps = annotationDiv.find(".text-contents>p"),
groups = [],