--- a/testsuite/web-framework/HTML5_player.js	Fri May 01 15:03:37 2009 +0000
+++ b/testsuite/web-framework/HTML5_player.js	Fri May 01 15:05:02 2009 +0000
@@ -254,6 +254,10 @@
     }
     v = dfxpElement.getAttributeNS(DFXP_NS_Style, "lineHeight");
     if (v != "") {
+	if (v == "normal") {
+	    // normal line-height is exactly 100%, unlike in CSS or XSL
+	    v = "100%";
+	}
 	htmlElement.style.setProperty("line-height", v, "");
     }
     v = dfxpElement.getAttributeNS(DFXP_NS_Style, "opacity");