--- theme.php	2012-07-05 14:24:24.000000000 +0100
+++ themecopy.php	2012-07-05 14:24:45.000000000 +0100
@@ -1659,6 +1659,7 @@ function wp_customize_support_script() {
 
 	?>
 	<script type="text/javascript">
+		/* <![CDATA[ */
 		(function() {
 			var request, b = document.body, c = 'className', cs = 'customize-support', rcs = new RegExp('(^|\\s+)(no-)?'+cs+'(\\s+|$)');
 
@@ -1671,6 +1672,7 @@ function wp_customize_support_script() {
 			b[c] = b[c].replace( rcs, '' );
 			b[c] += ( window.postMessage && request ? ' ' : ' no-' ) + cs;
 		}());
+		/* ]]> */
 	</script>
 	<?php
 }
\ No newline at end of file