[css-fonts-3] Fix type on onload eventHandler

resolves w3c#3553

Author: ericwilligers

css-fonts-3/Fonts.html

@@ -6420,7 +6420,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");

css-fonts-3/Overview.html

@@ -6414,7 +6414,7 @@ <h2 class=no-num id=property-index>Property index</h2>
 window.onload = function () {
   if (!("devicePixelRatio" in window && window.devicePixelRatio > 1)) return;
   var i, hiresElements = document.getElementsByClassName("hires");
-  for (i = 0; i &lt; hiresElements.length; i++) {
+  for (i = 0; i < hiresElements.length; i++) {
     var h = hiresElements[i];
     if (h.tagName != "IMG") continue;
     var src = h.getAttribute("src");