--- a/xml/prov-xml.html	Tue Apr 03 21:11:33 2012 +0100
+++ b/xml/prov-xml.html	Tue Apr 03 22:02:04 2012 +0100
@@ -20,10 +20,11 @@
 
     <script src="../model/glossary.js" class="remove"></script>
 
+
     <script class="remove">
 
 function insertSchema(doc, content) {
-	return doc._esc(content);
+	return '<code class="language-xml"> ' + doc._esc(content) + '</code>';
 }
 
 function htmlEncode(value){
@@ -38,6 +39,7 @@
 
 	var xml=$.parseXML(content);
 	var segment = $(xml).find('complexType[name~="' + name + '"]')[0];
+
 	return doc._esc((new XMLSerializer()).serializeToString(segment));
 }
 
@@ -290,18 +292,6 @@
 
 
 
-<!-- <div class="buttonpanel"> 
-<form action="#"><p> 
-<input id="hide-asn" onclick="set_display_by_class('div','withAsn','none');set_display_by_class('span','withAsn','none'); set_display_by_id('hide-asn','none'); set_display_by_id('show-asn','');" type="button"
-value="Hide ASN" /> 
-<input id="show-asn" onclick="set_display_by_class('div','withAsn',''); set_display_by_class('span','withAsn','');  set_display_by_id('hide-asn',''); set_display_by_id('show-asn','none');" style="display: none"
-type="button" value="Show ASN" /> 
-</p> 
-</form> 
-</div>     
--->
-
-
 
 
 
@@ -787,17 +777,11 @@
 
 
 
-<div id="glossary_div" class="remove">
-<!-- glossary loaded from glossary.js will be hooked up here,
-     class remove, will remove this element from the final output.
--->
-</div>
-
 <section class="appendix"> 
       <h2>Full XML Schema</h2> 
       <p> 
 
-<pre class='schema' data-name='wasGeneratedBy' data-include='schema/prov.xsd' data-oninclude='insertSchema'></pre> 
+<pre class='schema' data-include='schema/prov.xsd' data-oninclude='insertSchema'></pre> 
 
       </p> 
     </section> 
@@ -810,6 +794,12 @@
     </section> 
 
 
+<div id="glossary_div" class="remove">
+<!-- glossary loaded from glossary.js will be hooked up here,
+     class remove, will remove this element from the final output.
+-->
+</div>
+
 
  </body>
 </html>