Fix bugs 46 and 47 - copy&paste and xmp tags on IE6

Author: mikesamuel

README.html

@@ -85,14 +85,14 @@ <h3>How do I specify which language my code is in?</h3>
     <p>You don't need to specify the language since <code>prettyprint()</code>
     will guess.  You can specify a language by specifying the language extension
     along with the <code>prettyprint</code> class like so:</p>
-    <code class="prettyprint lang-html">
-    &lt;pre class=&quot;prettyprint <b>lang-html</b>&quot;&gt;<br>
-    &nbsp; The lang-* class specifies the language file extensions.<br>
-    &nbsp; Supported file extensions include<br>
-    &nbsp; &nbsp; "c", "cc", "cpp", "cs", "cyc", "java", "bsh", "csh", "sh",<br>
-    &nbsp; &nbsp; "cv", "py", "perl", "pl", "pm", "rb", "js",<br>
-    &nbsp; &nbsp; "html", "html", "xhtml", "xml", "xsl".<br>
-    &lt;/pre&gt;</code>
+    <pre class="prettyprint lang-html"
+>&lt;pre class=&quot;prettyprint <b>lang-html</b>&quot;&gt;
+  The lang-* class specifies the language file extensions.
+  Supported file extensions include
+    "c", "cc", "cpp", "cs", "cyc", "java", "bsh", "csh", "sh",
+    "cv", "py", "perl", "pl", "pm", "rb", "js",
+    "html", "html", "xhtml", "xml", "xsl".
+&lt;/pre&gt;</pre>
 
     <h3>It doesn't work on <tt>&lt;obfuscated code sample&gt;</tt>?</h3>
     <p>Yes.  Prettifying obfuscated code is like putting lipstick on a pig

src/prettify.js

@@ -1147,14 +1147,19 @@ function pr_isIE6() {
               for (var i = 0; i < cs.attributes.length; ++i) {
                 var a = cs.attributes[i];
                 if (a.specified) {
-                  pre.setAttribute(a.name, a.value);
+                  var aname = a.name.toLowerCase();
+                  if (aname === 'class') {
+                    pre.className = a.value;  // For IE 6
+                  } else {
+                    pre.setAttribute(a.name, a.value);
+                  }
                 }
               }
               pre.innerHTML = newContent;
 
               // remove the old
               cs.parentNode.replaceChild(pre, cs);
-              pre = cs;
+              cs = pre;
             }
 
             // Replace <br>s with line-feeds so that copying and pasting works