finish fixing XHTML validity

downloads.php

@@ -287,6 +287,7 @@ print "</div>\n";
 
 print "
 <script type='text/javascript'>
+//<![CDATA[
 	
 	c=0;
 	while(c<=14)
@@ -310,7 +311,8 @@ print "
 	{
 		hide_descriptions();
 		document.getElementById(\"os-details\").getElementsByTagName('div')[id].style.display=\"block\";
-	}
+    }
+//]]>
 </script>
 ";