diff -r 65b4e4674550 -r 8d774f0b6182 player/js/player.js --- 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 = [],