Restore colours in Dart speedtest output.

Author: Neil Fraser

dart/tests/Speedtest.dart

@@ -20,10 +20,19 @@ void launch(Event e) {
 
  var ds = dmp.diff_prettyHtml(d);
  document.getElementById('outputdiv').setInnerHtml(
- '$ds<BR>Time: ${date_end.difference(date_start)} (h:mm:ss.mmm)');
+ '$ds<BR>Time: ${date_end.difference(date_start)} (h:mm:ss.mmm)',
+ validator: new TrustedNodeValidator());
 }
 
 void main() {
  document.getElementById('launch').addEventListener('click', launch);
  document.getElementById('outputdiv').setInnerHtml('');
 }
+
+/// A NodeValidator which allows any contents.
+/// The default validator strips 'style' attributes.
+class TrustedNodeValidator implements NodeValidator {
+ bool allowsElement(Element element) => true;
+ bool allowsAttribute(Element element, String attributeName, String value)
+ => true;
+}