reorganized javascript in dm
authorLuc Moreau <l.moreau@ecs.soton.ac.uk>
Sat, 24 Nov 2012 23:07:10 +0000
changeset 4943 124073f24635
parent 4942 3609547e8546
child 4944 45f319296024
reorganized javascript in dm
model/diff.html
model/prov-dm.html
model/prov-magic.js
model/releases/CR-prov-dm-20121211/Overview.html
model/releases/CR-prov-dm-20121211/diff.html
--- a/model/diff.html	Sat Nov 24 22:54:15 2012 +0000
+++ b/model/diff.html	Sat Nov 24 23:07:10 2012 +0000
@@ -27,6 +27,24 @@
 
 
 
+<script type="text/javascript">
+function set_display_by_class(el, cls, newValue) {
+    var e = getElementsByClassName(document, el, cls);
+    if (e != null) {
+	for (var i=0; !(i>=e.length); i++) {
+            e[i].style.display = newValue;
+	}
+    }
+}
+
+function set_display_by_id(id, newValue) {
+    var e = document.getElementById(id);
+    if (e != null) {
+	e.style.display = newValue;
+    }
+}
+</script>
+
 
 
  
@@ -576,7 +594,7 @@
 
 code {
     color:  #ff4500;
-}
+}<span class="delete">
 
 
 /* --- WEB IDL --- */
@@ -792,7 +810,7 @@
 
 a .secno {
     color:  #000;
-}
+}</span>
 
 /* --- TABLE --- */
 table.simple {
@@ -821,12 +839,20 @@
 
 .simple tr:nth-child(even) {
     background: #f0f6ff;
-}
+}<span class="delete">
 
 /* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
+.section dd > p:first-child</span><span class="insert">
+
+
+@media screen</span> {
+    <span class="delete">margin-top:</span><span class="insert">p.practicedesc {
+        position: relative;
+        top: -2em;
+        padding:</span> 0;
+<span class="insert">
+        margin: 1.5em 0.5em -1em 1em;
+    </span>}<span class="delete">
 
 .section dd > p:last-child {
     margin-bottom: 0;
@@ -837,168 +863,20 @@
 }
 
 .section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-
-/* --- EXAMPLES --- */
-pre.example {
+    margin-bottom:  0;</span>
+}
+
+/* --- <span class="delete">EXAMPLES</span><span class="insert">SYNTAX HIGHLIGHTING</span> --- */
+<span class="delete">pre.example</span><span class="insert">pre.sh_sourceCode</span> {<span class="delete">
     border-top: 1px solid #ff4500;
-    border-bottom: 1px solid #ff4500;
-    padding:    1em;
-    margin-top: 1em;
-}
-
-pre.example::before {
-    content:    "Example";
-    display:    block;
-    width:      150px;
-    background: #ff4500;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-/* --- EDITORIAL NOTES --- */
-.issue {
-    padding:    1em;
-    margin: 1em 0em 0em;
-    border: 1px solid #f00;
-    background: #ffc;
-}
-
-.issue::before {
-    content:    "Issue";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #f00;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-.note {
-    margin: 1em 0em 0em;
-    padding:    1em;
-    border: 2px solid #cff6d9;
-    background: #e2fff0;
-}
-
-.note::before {
-    content:    "Note";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #cff6d9;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
-    border: solid #bebebe 1px;
-    margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
-    margin: 1.5em 0.5em 1em 1em;
-    font-weight: bold;
-    font-style: italic;
-}
-
-span.practicelab   { background: #dfffff; }
-
-span.practicelab {
-    position: relative;
-    padding: 0 0.5em;
-    top: -1.5em;
-}
-
-p.practicedesc {
-    margin: 1.5em 0.5em 1em 1em;
-}
-
-@media screen {
-    p.practicedesc {
-        position: relative;
-        top: -2em;
-        padding: 0;
-        margin: 1.5em 0.5em -1em 1em;
-    }
-}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
+    border-bottom: 1px solid #ff4500;</span><span class="insert">
   background-color: white;
   color: black;
   font-style: normal;
   font-weight: normal;
 }
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
-pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
-</style>
+</span></style>
+
 <style type="text/css"><span class="insert">
 /* --- EDITORIAL NOTES --- */
 .component1-color {
@@ -1024,14 +902,14 @@
  background-color: rgba(204,255,0,0.2);
 }
 
-.pending {
+.pending {</span>
     padding:    1em;
-    margin: 1em 0em 0em;
+    <span class="delete">margin-top: 1em;</span><span class="insert">margin: 1em 0em 0em;
     border: 1px solid #f00;
-    background: #BFEFFF;
-}
-
-.pending::before {
+    background: #BFEFFF;</span>
+}
+
+<span class="delete">pre.example::before</span><span class="insert">.pending::before {
     content:    "Pending Review";
     display:    block;
     width:  150px;
@@ -1276,10 +1154,30 @@
     background: #fff;
 }
 
-.xmpl::before {
+.xmpl::before</span> {
     content:    "Example";
     display:    block;
-    width:  150px;
+    width:<span class="delete">      150px;
+    background: #ff4500;
+    color:  #fff;
+    font-family:    initial;
+    padding:    3px;
+    font-weight:    bold;
+    margin: -1em 0 1em -1em;
+}
+
+/* --- EDITORIAL NOTES --- */
+.issue {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #ffc;
+}
+
+.issue::before {
+    content:    "Issue";
+    display:    block;
+    width:</span>  150px;
     margin: -1.5em 0 0.5em 0;
     font-weight:    bold;
     border: 1px solid #f00;
@@ -1287,12 +1185,12 @@
     padding:    3px 1em;
 }
 
-/* 
+<span class="delete">.note</span><span class="insert">/* 
 generating this through java script now.
 
-.anexample[data-count]::before {
-    content: "Example " attr(data-count) ;
-    font-family: sans-serif;
+.anexample[data-count]::before</span> {
+    <span class="delete">margin: 1em 0em 0em;</span><span class="insert">content: "Example " attr(data-count) ;</span>
+    <span class="delete">padding:    1em;</span><span class="insert">font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
 }
@@ -1313,15 +1211,15 @@
     padding-left: 1ex;
     padding-right: 1ex;
     padding-top: 1ex;
-    padding-bottom: 0.6ex;
-    border: 1px dashed #2f6fab;
-    background-color: #f9f9f9;
+    padding-bottom: 0.6ex;</span>
+    border: <span class="delete">2px solid #cff6d9;</span><span class="insert">1px dashed #2f6fab;</span>
+    <span class="delete">background: #e2fff0;</span><span class="insert">background-color: #f9f9f9;
 }
 .anexample table {
-    background-color: #f9f9f9;
-}
-
-.anexampleTitle {
+    background-color: #f9f9f9;</span>
+}
+
+<span class="delete">.note::before</span><span class="insert">.anexampleTitle {
     font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
@@ -1427,9 +1325,12 @@
 }
 
 
-.interpretation-forward::before {
-    content:    "Interpretation: ";
-    font-weight:    bold;
+.interpretation-forward::before</span> {
+    content:    <span class="delete">"Note";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;</span><span class="insert">"Interpretation: ";</span>
+    font-weight:    bold;<span class="insert">
 }
 
 .structural-forward::before {
@@ -1467,8 +1368,8 @@
 }
 
 h1 acronym, h2 acronym, h3 acronym, h4 acronym, h5 acronym, h6 acronym, a acronym,
-h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {
-    border: none;
+h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {</span>
+    border: <span class="insert">none;
 }
 
 dfn {
@@ -1477,7 +1378,7 @@
 
 a.internalDFN {
     color:  inherit;
-    border-bottom:  1px solid #99c;
+    border-bottom:  </span>1px solid <span class="delete">#cff6d9;</span><span class="insert">#99c;
     text-decoration:    none;
 }
 
@@ -1530,10 +1431,10 @@
     border-bottom:  3px solid #005a9c;
 }
 
-.simple th {
-    background: #005a9c;
-    color:  #fff;
-    padding:    3px 5px;
+.simple th {</span>
+    background: <span class="insert">#005a9c;
+    color:  </span>#fff;
+    padding:    3px <span class="delete">1em;</span><span class="insert">5px;
     text-align: left;
 }
 
@@ -1549,26 +1450,114 @@
 }
 
 .simple tr:nth-child(even) {
-    background: #f0f6ff;
-}
-
-/* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
-
-.section dd > p:last-child {
-    margin-bottom: 0;
-}
-
-.section dd {
+    background: #f0f6ff;</span>
+}
+
+/* --- <span class="delete">Best Practices</span><span class="insert">DL</span> --- */
+<span class="delete">div.practice</span><span class="insert">.section dd > p:first-child</span> {
+    <span class="delete">border: solid #bebebe 1px;
+    margin: 2em 1em 1em 2em;</span><span class="insert">margin-top: 0;</span>
+}
+
+<span class="delete">span.practicelab</span><span class="insert">.section dd > p:last-child</span> {
+    <span class="delete">margin: 1.5em 0.5em 1em 1em;
+    font-weight: bold;
+    font-style: italic;</span><span class="insert">margin-bottom: 0;</span>
+}
+
+<span class="delete">span.practicelab   </span><span class="insert">.section dd </span>{<span class="delete"> background: #dfffff; </span><span class="insert">
     margin-bottom:  1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-</span></style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-CR"></head> 
+</span>}
+
+<span class="delete">span.practicelab</span><span class="insert">.section dl.attrs dd, .section dl.eldef dd</span> {
+    <span class="delete">position: relative;
+    padding: 0 0.5em;
+    top: -1.5em;</span><span class="insert">margin-bottom:  0;</span>
+}<span class="delete">
+
+p.practicedesc {
+    margin: 1.5em 0.5em 1em 1em;
+}
+
+@media screen {
+    p.practicedesc {
+        position: relative;
+        top: -2em;
+        padding: 0;
+        margin: 1.5em 0.5em -1em 1em;
+    }
+}
+
+/* --- SYNTAX HIGHLIGHTING --- */
+pre.sh_sourceCode {
+  background-color: white;
+  color: black;
+  font-style: normal;
+  font-weight: normal;
+}
+
+pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
+pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
+pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
+pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
+pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
+pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
+pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
+pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
+pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
+pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
+pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
+pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
+pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
+
+/* Predefined variables and functions (for instance glsl) */
+pre.sh_sourceCode .sh_predef_var { color: #00008B; }
+pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
+
+/* for OOP */
+pre.sh_sourceCode .sh_classname { color: teal; }
+
+/* line numbers (not yet implemented) */
+pre.sh_sourceCode .sh_linenum { display: none; }
+
+/* Internet related */
+pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
+
+/* for ChangeLog and Log files */
+pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
+pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
+pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
+
+/* for Prolog, Perl... */
+pre.sh_sourceCode .sh_variable { color: #006400; }
+
+/* for LaTeX */
+pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
+pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
+pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
+pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
+pre.sh_sourceCode .sh_argument { color: #006400; }
+pre.sh_sourceCode .sh_optionalargument { color: purple; }
+pre.sh_sourceCode .sh_math { color: orange; }
+pre.sh_sourceCode .sh_bibtex { color: blue; }
+
+/* for diffs */
+pre.sh_sourceCode .sh_oldfile { color: orange; }
+pre.sh_sourceCode .sh_newfile { color: #006400; }
+pre.sh_sourceCode .sh_difflines { color: blue; }
+
+/* for css */
+pre.sh_sourceCode .sh_selector { color: purple; }
+pre.sh_sourceCode .sh_property { color: blue; }
+pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
+
+/* other */
+pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
+pre.sh_sourceCode .sh_paren { color: red; }
+pre.sh_sourceCode .sh_attribute { color: #006400; }
+
+</span>
+</style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-CR"></head> 
   <body><div class="head">
   <p>
     
--- a/model/prov-dm.html	Sat Nov 24 22:54:15 2012 +0000
+++ b/model/prov-dm.html	Sat Nov 24 23:07:10 2012 +0000
@@ -15,8 +15,7 @@
 
 <script src="provbib.js" class="remove"></script>
 
-<script class="remove">
-
+<script type="text/javascript">
 function set_display_by_class(el, cls, newValue) {
     var e = getElementsByClassName(document, el, cls);
     if (e != null) {
@@ -32,7 +31,9 @@
 	e.style.display = newValue;
     }
 }
-
+</script>
+
+<script class="remove">
 $(document).ready(function(){
 // if glossary is in a string:
         $('#glossary_div').html(glossary_string)
@@ -272,222 +273,6 @@
     color:  #ff4500;
 }
 
-
-/* --- WEB IDL --- */
-pre.idl {
-    border-top: 1px solid #90b8de;
-    border-bottom: 1px solid #90b8de;
-    padding:    1em;
-    line-height:    120%;
-}
-
-pre.idl::before {
-    content:    "WebIDL";
-    display:    block;
-    width:      150px;
-    background: #90b8de;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-.idlType {
-    color:  #ff4500;
-    font-weight:    bold;
-    text-decoration:    none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
-    font-weight:    bold;
-    color:  #005a9c;
-}
-
-.idlSuperclass {
-    font-style: italic;
-    color:  #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
-    color:  #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
-    color:  #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
-    color:  #005a9c;
-}
-.idlMethName {
-    color:  #ff4500;
-}
-.idlMethName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
-    color:  #005a9c;
-}
-.idlParamName {
-    font-style: italic;
-}
-
-.extAttr {
-    color:  #666;
-}
-
-/*.idlConst*/
-.idlConstType {
-    color:  #005a9c;
-}
-.idlConstName {
-    color:  #ff4500;
-}
-.idlConstName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
-    font-weight:    bold;
-    color:  #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
-    color:  #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
-    color:  #c00;
-    font-weight:    normal;
-}
-
-.excName a {
-    font-family:    monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
-    border-bottom:  1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
-    width:  45px;
-    text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color:  #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color:  #c00; }
-
-.idlImplements a {
-    font-weight:    bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
-    margin-left:    2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
-    font-weight:    normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
-    font-weight:    bold;
-    color:  #000;
-    font-family:    monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
-    background:  #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
-    color:  #005a9c;
-    background:  transparent;
-    font-family:    inherit;
-    font-weight:    normal;
-    font-style: italic;
-}
-
-.methods dt code {
-    background:  #d9e6f8;
-}
-
-.constants dt code {
-    background:  #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
-    margin-bottom:  1em;
-}
-
-table.parameters, table.exceptions {
-    border-spacing: 0;
-    border-collapse:    collapse;
-    margin: 0.5em 0;
-    width:  100%;
-}
-table.parameters { border-bottom:  1px solid #90b8de; }
-table.exceptions { border-bottom:  1px solid #deb890; }
-
-.parameters th, .exceptions th {
-    color:  #fff;
-    padding:    3px 5px;
-    text-align: left;
-    font-family:    initial;
-    font-weight:    normal;
-    text-shadow:    #666 1px 1px 0;
-}
-.parameters th { background: #90b8de; }
-.exceptions th { background: #deb890; }
-
-.parameters td, .exceptions td {
-    padding:    3px 10px;
-    border-top: 1px solid #ddd;
-    vertical-align: top;
-}
-
-.parameters tr:first-child td, .exceptions tr:first-child td {
-    border-top: none;
-}
-
-.parameters td.prmName, .exceptions td.excName, .exceptions td.excCodeName {
-    width:  100px;
-}
-
-.parameters td.prmType {
-    width:  120px;
-}
-
-table.exceptions table {
-    border-spacing: 0;
-    border-collapse:    collapse;
-    width:  100%;
-}
-
-/* --- TOC --- */
-.toc a {
-    text-decoration:    none;
-}
-
-a .secno {
-    color:  #000;
-}
-
 /* --- TABLE --- */
 table.simple {
     border-spacing: 0;
@@ -517,103 +302,6 @@
     background: #f0f6ff;
 }
 
-/* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
-
-.section dd > p:last-child {
-    margin-bottom: 0;
-}
-
-.section dd {
-    margin-bottom:  1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-
-/* --- EXAMPLES --- */
-pre.example {
-    border-top: 1px solid #ff4500;
-    border-bottom: 1px solid #ff4500;
-    padding:    1em;
-    margin-top: 1em;
-}
-
-pre.example::before {
-    content:    "Example";
-    display:    block;
-    width:      150px;
-    background: #ff4500;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-/* --- EDITORIAL NOTES --- */
-.issue {
-    padding:    1em;
-    margin: 1em 0em 0em;
-    border: 1px solid #f00;
-    background: #ffc;
-}
-
-.issue::before {
-    content:    "Issue";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #f00;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-.note {
-    margin: 1em 0em 0em;
-    padding:    1em;
-    border: 2px solid #cff6d9;
-    background: #e2fff0;
-}
-
-.note::before {
-    content:    "Note";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #cff6d9;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
-    border: solid #bebebe 1px;
-    margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
-    margin: 1.5em 0.5em 1em 1em;
-    font-weight: bold;
-    font-style: italic;
-}
-
-span.practicelab   { background: #dfffff; }
-
-span.practicelab {
-    position: relative;
-    padding: 0 0.5em;
-    top: -1.5em;
-}
-
-p.practicedesc {
-    margin: 1.5em 0.5em 1em 1em;
-}
 
 @media screen {
     p.practicedesc {
@@ -631,68 +319,8 @@
   font-style: normal;
   font-weight: normal;
 }
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
-pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
 </style>
+
 <style type="text/css">
 /* --- EDITORIAL NOTES --- */
 .component1-color {
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/prov-magic.js	Sat Nov 24 23:07:10 2012 +0000
@@ -0,0 +1,218 @@
+/*
+	Written by Jonathan Snook, http://www.snook.ca/jonathan
+	Add-ons by Robert Nyman, http://www.robertnyman.com
+	Author says "The credit comment is all it takes, no license. Go crazy "
+	From http://www.robertnyman.com/2005/11/07/the-ultimate-getelementsbyclassname/
+*/
+
+function setContributors () {
+    $('dt').each(function(index) {
+        var content=$(this).text();
+        if (content== "Authors:") {
+            console.log( "content " +  content);
+            $(this).text("Contributors:")
+        }
+    })
+}
+
+function setColoredDiffs () {
+    $('dt').each(function(index) {
+        var content=$(this).text();
+        if (content== "Previous version:") {
+            console.log( "content " +  content);
+	    $(this).next().append(" ").append($('<a>').attr('href','diff.html').append("(colored-coded diff)"));
+        }
+    })
+}
+
+
+function getElementsByClassName(oElm, strTagName, oClassNames){
+    var arrElements = (! (! (strTagName == "*") || ! (oElm.all)))? oElm.all : oElm.getElementsByTagName(strTagName);
+    var arrReturnElements = new Array();
+    var arrRegExpClassNames = new Array();
+    if(typeof oClassNames == "object"){
+	for(var i=0; !(i>=oClassNames.length); i++){ /*>*/
+	    arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames[i].replace(/\-/g, "\-") + "(\s|$)"));
+	}
+    }
+    else{
+	arrRegExpClassNames.push(new RegExp("(^|\s)" + oClassNames.replace(/\-/g, "\-") + "(\s|$)"));
+    }
+    var oElement;
+    var bMatchesAll;
+    for(var j=0; !(j>=arrElements.length); j++){ /*>*/
+	oElement = arrElements[j];
+	bMatchesAll = true;
+	for(var k=0; !(k>=arrRegExpClassNames.length); k++){ /*>*/
+	    if(!arrRegExpClassNames[k].test(oElement.className)){
+		bMatchesAll = false;
+		break;
+	    }
+	}
+	if(bMatchesAll){
+	    arrReturnElements.push(oElement);
+	}
+    }
+    return (arrReturnElements)
+}
+
+
+function updateGlossaryRefs() {
+    $('.glossary-ref').each(function(index) {
+        var ref=$(this).attr('data-ref');
+        var span=$(this).attr('data-withspan')
+        $(this).removeAttr('data-withspan');
+        $(this).removeAttr('data-ref');
+	
+        $('#'+ref+'.glossary').contents().clone().appendTo($(this));
+	//          $(this).attr("prov:hadOriginalSource",glossary_hg);
+        if (span) {
+            $(this).children('dfn').replaceWith(function(){return $('<span>').addClass('dfn').append($(this).contents())});
+        }
+    });
+}
+
+// function to replace figcaption since not allowed by prov rules, and not transformed by respec.js
+function updateFigCaptions() {
+    var figureCount=1;
+    
+    $('figcaption').each(function(index) {
+	
+        var myid=$(this).attr('id');
+        var mycount=figureCount++;
+	
+        $(this).replaceWith(function(){return $('<span>').addClass('figcaption').attr('data-count', mycount).attr('id',myid).append("Figure " + mycount)
+				       .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;:")))).append(" ")
+				       .append($(this).contents())});
+    });
+}
+
+// function to update caption with linkable diamond
+function updateCaptions() {
+    var tableCount=1;
+    
+    $('caption').each(function(index) {
+	
+        var myid=$(this).attr('id');
+        var mycount=tableCount++;
+	
+        $(this).attr('data-count', mycount)
+	    .prepend($('<span>').append("Table " + mycount)
+		     .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;:")))).append(" "))
+    });
+}
+
+// function to replace figure since not allowed by prov rules, and not transformed by respec.js
+function updateFigures() {
+    $('figure').each(function(index) {
+	
+        var myid=$(this).attr('id');
+        var mystyle=$(this).attr('style');
+	
+        console.log( "figure " + myid + " " + $(this).contents());
+	
+        $(this).replaceWith(function(){
+            var aNewElement=$('<span>').addClass('figure').append($(this).contents());
+            if (myid) {
+                aNewElement.attr('id',myid)
+            }                                          
+            if (mystyle) {
+                aNewElement.attr('style',mystyle)
+            }                                          
+            return aNewElement });
+
+        console.log( "figure " + myid);
+    });
+}
+
+function updateExamples() {
+    var count=1;
+    $('.anexample').each(function(index) {
+	
+        var myid=$(this).attr('id');
+        var mycount=count++;
+	
+        if (myid==undefined) {
+            myid='example_' + mycount;
+            $(this).attr('id',myid);
+        }
+	
+        
+        $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
+                                                    //.append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("Example " + mycount))
+						    .append("Example " + mycount)
+						    .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;"))))
+						   );
+	
+	
+        //console.log( "example for " + myid + " " + mycount);
+	
+    });
+}
+
+
+function updateDfn() {
+    var count=1;
+    $('dfn').each(function(index) {
+
+        var myid=$(this).addClass('internalDFN').attr('id');
+
+        $(this).after($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;"))));  //&#9674;//&#9830;
+        
+	//              console.log( "dfn for " + myid + " ");
+
+    });
+}
+
+
+function updateExamplesRefs() {
+    $('.anexample-ref').each(function(index) {
+
+        myhref=$(this).attr('href');
+
+        //console.log( "example ref for " + myhref);
+
+        mycount=$(myhref).attr('data-count');
+
+        //console.log( "example ref for " + myhref + " " + mycount);
+
+        $(this).children('span').replaceWith(function(){return $('<span>').append("Example " + mycount)});
+
+    });
+
+    $('.anexample').each(function(index) {
+        $(this).removeAttr('data-count');
+    });
+
+    $('caption').each(function(index) {
+        $(this).removeAttr('data-count');
+    });
+
+    $('.figcaption').each(function(index) {
+        $(this).removeAttr('data-count');
+    });
+
+}
+
+
+function updateSectionRefs() {
+
+    $('.section-ref').each(function(index) {
+
+        myhref=$(this).attr('href');
+
+        console.log( "section ref for " + myhref);
+
+        if (myhref.startsWith("#")) {
+
+            mysectionNumber=$(myhref).find('span.secno').first().text().trim();
+
+            console.log( "section ref for " + myhref + " " + mysectionNumber);
+
+            $(this).children('span').replaceWith(function(){return $('<span>').append("Section " + mysectionNumber)});
+
+        }
+
+    });
+}
+
--- a/model/releases/CR-prov-dm-20121211/Overview.html	Sat Nov 24 22:54:15 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/Overview.html	Sat Nov 24 23:07:10 2012 +0000
@@ -14,6 +14,24 @@
 
 
 
+<script type="text/javascript">
+function set_display_by_class(el, cls, newValue) {
+    var e = getElementsByClassName(document, el, cls);
+    if (e != null) {
+	for (var i=0; !(i>=e.length); i++) {
+            e[i].style.display = newValue;
+	}
+    }
+}
+
+function set_display_by_id(id, newValue) {
+    var e = document.getElementById(id);
+    if (e != null) {
+	e.style.display = newValue;
+    }
+}
+</script>
+
 
 
  
@@ -93,222 +111,6 @@
     color:  #ff4500;
 }
 
-
-/* --- WEB IDL --- */
-pre.idl {
-    border-top: 1px solid #90b8de;
-    border-bottom: 1px solid #90b8de;
-    padding:    1em;
-    line-height:    120%;
-}
-
-pre.idl::before {
-    content:    "WebIDL";
-    display:    block;
-    width:      150px;
-    background: #90b8de;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-.idlType {
-    color:  #ff4500;
-    font-weight:    bold;
-    text-decoration:    none;
-}
-
-/*.idlModule*/
-/*.idlModuleID*/
-/*.idlInterface*/
-.idlInterfaceID, .idlDictionaryID {
-    font-weight:    bold;
-    color:  #005a9c;
-}
-
-.idlSuperclass {
-    font-style: italic;
-    color:  #005a9c;
-}
-
-/*.idlAttribute*/
-.idlAttrType, .idlFieldType, .idlMemberType {
-    color:  #005a9c;
-}
-.idlAttrName, .idlFieldName, .idlMemberName {
-    color:  #ff4500;
-}
-.idlAttrName a, .idlFieldName a, .idlMemberName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlMethod*/
-.idlMethType {
-    color:  #005a9c;
-}
-.idlMethName {
-    color:  #ff4500;
-}
-.idlMethName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlParam*/
-.idlParamType {
-    color:  #005a9c;
-}
-.idlParamName {
-    font-style: italic;
-}
-
-.extAttr {
-    color:  #666;
-}
-
-/*.idlConst*/
-.idlConstType {
-    color:  #005a9c;
-}
-.idlConstName {
-    color:  #ff4500;
-}
-.idlConstName a {
-    color:  #ff4500;
-    border-bottom:  1px dotted #ff4500;
-    text-decoration: none;
-}
-
-/*.idlException*/
-.idlExceptionID {
-    font-weight:    bold;
-    color:  #c00;
-}
-
-.idlTypedefID, .idlTypedefType {
-    color:  #005a9c;
-}
-
-.idlRaises, .idlRaises a.idlType, .idlRaises a.idlType code, .excName a, .excName a code {
-    color:  #c00;
-    font-weight:    normal;
-}
-
-.excName a {
-    font-family:    monospace;
-}
-
-.idlRaises a.idlType, .excName a.idlType {
-    border-bottom:  1px dotted #c00;
-}
-
-.excGetSetTrue, .excGetSetFalse, .prmNullTrue, .prmNullFalse, .prmOptTrue, .prmOptFalse {
-    width:  45px;
-    text-align: center;
-}
-.excGetSetTrue, .prmNullTrue, .prmOptTrue { color:  #0c0; }
-.excGetSetFalse, .prmNullFalse, .prmOptFalse { color:  #c00; }
-
-.idlImplements a {
-    font-weight:    bold;
-}
-
-dl.attributes, dl.methods, dl.constants, dl.fields, dl.dictionary-members {
-    margin-left:    2em;
-}
-
-.attributes dt, .methods dt, .constants dt, .fields dt, .dictionary-members dt {
-    font-weight:    normal;
-}
-
-.attributes dt code, .methods dt code, .constants dt code, .fields dt code, .dictionary-members dt code {
-    font-weight:    bold;
-    color:  #000;
-    font-family:    monospace;
-}
-
-.attributes dt code, .fields dt code, .dictionary-members dt code {
-    background:  #ffffd2;
-}
-
-.attributes dt .idlAttrType code, .fields dt .idlFieldType code, .dictionary-members dt .idlMemberType code {
-    color:  #005a9c;
-    background:  transparent;
-    font-family:    inherit;
-    font-weight:    normal;
-    font-style: italic;
-}
-
-.methods dt code {
-    background:  #d9e6f8;
-}
-
-.constants dt code {
-    background:  #ddffd2;
-}
-
-.attributes dd, .methods dd, .constants dd, .fields dd, .dictionary-members dd {
-    margin-bottom:  1em;
-}
-
-table.parameters, table.exceptions {
-    border-spacing: 0;
-    border-collapse:    collapse;
-    margin: 0.5em 0;
-    width:  100%;
-}
-table.parameters { border-bottom:  1px solid #90b8de; }
-table.exceptions { border-bottom:  1px solid #deb890; }
-
-.parameters th, .exceptions th {
-    color:  #fff;
-    padding:    3px 5px;
-    text-align: left;
-    font-family:    initial;
-    font-weight:    normal;
-    text-shadow:    #666 1px 1px 0;
-}
-.parameters th { background: #90b8de; }
-.exceptions th { background: #deb890; }
-
-.parameters td, .exceptions td {
-    padding:    3px 10px;
-    border-top: 1px solid #ddd;
-    vertical-align: top;
-}
-
-.parameters tr:first-child td, .exceptions tr:first-child td {
-    border-top: none;
-}
-
-.parameters td.prmName, .exceptions td.excName, .exceptions td.excCodeName {
-    width:  100px;
-}
-
-.parameters td.prmType {
-    width:  120px;
-}
-
-table.exceptions table {
-    border-spacing: 0;
-    border-collapse:    collapse;
-    width:  100%;
-}
-
-/* --- TOC --- */
-.toc a {
-    text-decoration:    none;
-}
-
-a .secno {
-    color:  #000;
-}
-
 /* --- TABLE --- */
 table.simple {
     border-spacing: 0;
@@ -338,103 +140,6 @@
     background: #f0f6ff;
 }
 
-/* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
-
-.section dd > p:last-child {
-    margin-bottom: 0;
-}
-
-.section dd {
-    margin-bottom:  1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-
-/* --- EXAMPLES --- */
-pre.example {
-    border-top: 1px solid #ff4500;
-    border-bottom: 1px solid #ff4500;
-    padding:    1em;
-    margin-top: 1em;
-}
-
-pre.example::before {
-    content:    "Example";
-    display:    block;
-    width:      150px;
-    background: #ff4500;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-/* --- EDITORIAL NOTES --- */
-.issue {
-    padding:    1em;
-    margin: 1em 0em 0em;
-    border: 1px solid #f00;
-    background: #ffc;
-}
-
-.issue::before {
-    content:    "Issue";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #f00;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-.note {
-    margin: 1em 0em 0em;
-    padding:    1em;
-    border: 2px solid #cff6d9;
-    background: #e2fff0;
-}
-
-.note::before {
-    content:    "Note";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #cff6d9;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
-    border: solid #bebebe 1px;
-    margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
-    margin: 1.5em 0.5em 1em 1em;
-    font-weight: bold;
-    font-style: italic;
-}
-
-span.practicelab   { background: #dfffff; }
-
-span.practicelab {
-    position: relative;
-    padding: 0 0.5em;
-    top: -1.5em;
-}
-
-p.practicedesc {
-    margin: 1.5em 0.5em 1em 1em;
-}
 
 @media screen {
     p.practicedesc {
@@ -452,68 +157,8 @@
   font-style: normal;
   font-weight: normal;
 }
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
-pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
 </style>
+
 <style type="text/css">
 /* --- EDITORIAL NOTES --- */
 .component1-color {
--- a/model/releases/CR-prov-dm-20121211/diff.html	Sat Nov 24 22:54:15 2012 +0000
+++ b/model/releases/CR-prov-dm-20121211/diff.html	Sat Nov 24 23:07:10 2012 +0000
@@ -27,6 +27,24 @@
 
 
 
+<script type="text/javascript">
+function set_display_by_class(el, cls, newValue) {
+    var e = getElementsByClassName(document, el, cls);
+    if (e != null) {
+	for (var i=0; !(i>=e.length); i++) {
+            e[i].style.display = newValue;
+	}
+    }
+}
+
+function set_display_by_id(id, newValue) {
+    var e = document.getElementById(id);
+    if (e != null) {
+	e.style.display = newValue;
+    }
+}
+</script>
+
 
 
  
@@ -576,7 +594,7 @@
 
 code {
     color:  #ff4500;
-}
+}<span class="delete">
 
 
 /* --- WEB IDL --- */
@@ -792,7 +810,7 @@
 
 a .secno {
     color:  #000;
-}
+}</span>
 
 /* --- TABLE --- */
 table.simple {
@@ -821,12 +839,20 @@
 
 .simple tr:nth-child(even) {
     background: #f0f6ff;
-}
+}<span class="delete">
 
 /* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
+.section dd > p:first-child</span><span class="insert">
+
+
+@media screen</span> {
+    <span class="delete">margin-top:</span><span class="insert">p.practicedesc {
+        position: relative;
+        top: -2em;
+        padding:</span> 0;
+<span class="insert">
+        margin: 1.5em 0.5em -1em 1em;
+    </span>}<span class="delete">
 
 .section dd > p:last-child {
     margin-bottom: 0;
@@ -837,168 +863,20 @@
 }
 
 .section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-
-/* --- EXAMPLES --- */
-pre.example {
+    margin-bottom:  0;</span>
+}
+
+/* --- <span class="delete">EXAMPLES</span><span class="insert">SYNTAX HIGHLIGHTING</span> --- */
+<span class="delete">pre.example</span><span class="insert">pre.sh_sourceCode</span> {<span class="delete">
     border-top: 1px solid #ff4500;
-    border-bottom: 1px solid #ff4500;
-    padding:    1em;
-    margin-top: 1em;
-}
-
-pre.example::before {
-    content:    "Example";
-    display:    block;
-    width:      150px;
-    background: #ff4500;
-    color:  #fff;
-    font-family:    initial;
-    padding:    3px;
-    font-weight:    bold;
-    margin: -1em 0 1em -1em;
-}
-
-/* --- EDITORIAL NOTES --- */
-.issue {
-    padding:    1em;
-    margin: 1em 0em 0em;
-    border: 1px solid #f00;
-    background: #ffc;
-}
-
-.issue::before {
-    content:    "Issue";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #f00;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-.note {
-    margin: 1em 0em 0em;
-    padding:    1em;
-    border: 2px solid #cff6d9;
-    background: #e2fff0;
-}
-
-.note::before {
-    content:    "Note";
-    display:    block;
-    width:  150px;
-    margin: -1.5em 0 0.5em 0;
-    font-weight:    bold;
-    border: 1px solid #cff6d9;
-    background: #fff;
-    padding:    3px 1em;
-}
-
-/* --- Best Practices --- */
-div.practice {
-    border: solid #bebebe 1px;
-    margin: 2em 1em 1em 2em;
-}
-
-span.practicelab {
-    margin: 1.5em 0.5em 1em 1em;
-    font-weight: bold;
-    font-style: italic;
-}
-
-span.practicelab   { background: #dfffff; }
-
-span.practicelab {
-    position: relative;
-    padding: 0 0.5em;
-    top: -1.5em;
-}
-
-p.practicedesc {
-    margin: 1.5em 0.5em 1em 1em;
-}
-
-@media screen {
-    p.practicedesc {
-        position: relative;
-        top: -2em;
-        padding: 0;
-        margin: 1.5em 0.5em -1em 1em;
-    }
-}
-
-/* --- SYNTAX HIGHLIGHTING --- */
-pre.sh_sourceCode {
+    border-bottom: 1px solid #ff4500;</span><span class="insert">
   background-color: white;
   color: black;
   font-style: normal;
   font-weight: normal;
 }
-
-pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
-pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
-pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
-pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
-pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
-pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
-pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
-pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
-pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
-pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
-pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
-pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
-pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
-
-/* Predefined variables and functions (for instance glsl) */
-pre.sh_sourceCode .sh_predef_var { color: #00008B; }
-pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
-
-/* for OOP */
-pre.sh_sourceCode .sh_classname { color: teal; }
-
-/* line numbers (not yet implemented) */
-pre.sh_sourceCode .sh_linenum { display: none; }
-
-/* Internet related */
-pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
-
-/* for ChangeLog and Log files */
-pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
-pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
-pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
-
-/* for Prolog, Perl... */
-pre.sh_sourceCode .sh_variable { color: #006400; }
-
-/* for LaTeX */
-pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
-pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
-pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
-pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
-pre.sh_sourceCode .sh_argument { color: #006400; }
-pre.sh_sourceCode .sh_optionalargument { color: purple; }
-pre.sh_sourceCode .sh_math { color: orange; }
-pre.sh_sourceCode .sh_bibtex { color: blue; }
-
-/* for diffs */
-pre.sh_sourceCode .sh_oldfile { color: orange; }
-pre.sh_sourceCode .sh_newfile { color: #006400; }
-pre.sh_sourceCode .sh_difflines { color: blue; }
-
-/* for css */
-pre.sh_sourceCode .sh_selector { color: purple; }
-pre.sh_sourceCode .sh_property { color: blue; }
-pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
-
-/* other */
-pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
-pre.sh_sourceCode .sh_paren { color: red; }
-pre.sh_sourceCode .sh_attribute { color: #006400; }
-
-</style>
+</span></style>
+
 <style type="text/css"><span class="insert">
 /* --- EDITORIAL NOTES --- */
 .component1-color {
@@ -1024,14 +902,14 @@
  background-color: rgba(204,255,0,0.2);
 }
 
-.pending {
+.pending {</span>
     padding:    1em;
-    margin: 1em 0em 0em;
+    <span class="delete">margin-top: 1em;</span><span class="insert">margin: 1em 0em 0em;
     border: 1px solid #f00;
-    background: #BFEFFF;
-}
-
-.pending::before {
+    background: #BFEFFF;</span>
+}
+
+<span class="delete">pre.example::before</span><span class="insert">.pending::before {
     content:    "Pending Review";
     display:    block;
     width:  150px;
@@ -1276,10 +1154,30 @@
     background: #fff;
 }
 
-.xmpl::before {
+.xmpl::before</span> {
     content:    "Example";
     display:    block;
-    width:  150px;
+    width:<span class="delete">      150px;
+    background: #ff4500;
+    color:  #fff;
+    font-family:    initial;
+    padding:    3px;
+    font-weight:    bold;
+    margin: -1em 0 1em -1em;
+}
+
+/* --- EDITORIAL NOTES --- */
+.issue {
+    padding:    1em;
+    margin: 1em 0em 0em;
+    border: 1px solid #f00;
+    background: #ffc;
+}
+
+.issue::before {
+    content:    "Issue";
+    display:    block;
+    width:</span>  150px;
     margin: -1.5em 0 0.5em 0;
     font-weight:    bold;
     border: 1px solid #f00;
@@ -1287,12 +1185,12 @@
     padding:    3px 1em;
 }
 
-/* 
+<span class="delete">.note</span><span class="insert">/* 
 generating this through java script now.
 
-.anexample[data-count]::before {
-    content: "Example " attr(data-count) ;
-    font-family: sans-serif;
+.anexample[data-count]::before</span> {
+    <span class="delete">margin: 1em 0em 0em;</span><span class="insert">content: "Example " attr(data-count) ;</span>
+    <span class="delete">padding:    1em;</span><span class="insert">font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
 }
@@ -1313,15 +1211,15 @@
     padding-left: 1ex;
     padding-right: 1ex;
     padding-top: 1ex;
-    padding-bottom: 0.6ex;
-    border: 1px dashed #2f6fab;
-    background-color: #f9f9f9;
+    padding-bottom: 0.6ex;</span>
+    border: <span class="delete">2px solid #cff6d9;</span><span class="insert">1px dashed #2f6fab;</span>
+    <span class="delete">background: #e2fff0;</span><span class="insert">background-color: #f9f9f9;
 }
 .anexample table {
-    background-color: #f9f9f9;
-}
-
-.anexampleTitle {
+    background-color: #f9f9f9;</span>
+}
+
+<span class="delete">.note::before</span><span class="insert">.anexampleTitle {
     font-family: sans-serif;
     font-size: 1.6ex;
     font-weight: bold;
@@ -1427,9 +1325,12 @@
 }
 
 
-.interpretation-forward::before {
-    content:    "Interpretation: ";
-    font-weight:    bold;
+.interpretation-forward::before</span> {
+    content:    <span class="delete">"Note";
+    display:    block;
+    width:  150px;
+    margin: -1.5em 0 0.5em 0;</span><span class="insert">"Interpretation: ";</span>
+    font-weight:    bold;<span class="insert">
 }
 
 .structural-forward::before {
@@ -1467,8 +1368,8 @@
 }
 
 h1 acronym, h2 acronym, h3 acronym, h4 acronym, h5 acronym, h6 acronym, a acronym,
-h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {
-    border: none;
+h1 abbr, h2 abbr, h3 abbr, h4 abbr, h5 abbr, h6 abbr, a abbr {</span>
+    border: <span class="insert">none;
 }
 
 dfn {
@@ -1477,7 +1378,7 @@
 
 a.internalDFN {
     color:  inherit;
-    border-bottom:  1px solid #99c;
+    border-bottom:  </span>1px solid <span class="delete">#cff6d9;</span><span class="insert">#99c;
     text-decoration:    none;
 }
 
@@ -1530,10 +1431,10 @@
     border-bottom:  3px solid #005a9c;
 }
 
-.simple th {
-    background: #005a9c;
-    color:  #fff;
-    padding:    3px 5px;
+.simple th {</span>
+    background: <span class="insert">#005a9c;
+    color:  </span>#fff;
+    padding:    3px <span class="delete">1em;</span><span class="insert">5px;
     text-align: left;
 }
 
@@ -1549,26 +1450,114 @@
 }
 
 .simple tr:nth-child(even) {
-    background: #f0f6ff;
-}
-
-/* --- DL --- */
-.section dd > p:first-child {
-    margin-top: 0;
-}
-
-.section dd > p:last-child {
-    margin-bottom: 0;
-}
-
-.section dd {
+    background: #f0f6ff;</span>
+}
+
+/* --- <span class="delete">Best Practices</span><span class="insert">DL</span> --- */
+<span class="delete">div.practice</span><span class="insert">.section dd > p:first-child</span> {
+    <span class="delete">border: solid #bebebe 1px;
+    margin: 2em 1em 1em 2em;</span><span class="insert">margin-top: 0;</span>
+}
+
+<span class="delete">span.practicelab</span><span class="insert">.section dd > p:last-child</span> {
+    <span class="delete">margin: 1.5em 0.5em 1em 1em;
+    font-weight: bold;
+    font-style: italic;</span><span class="insert">margin-bottom: 0;</span>
+}
+
+<span class="delete">span.practicelab   </span><span class="insert">.section dd </span>{<span class="delete"> background: #dfffff; </span><span class="insert">
     margin-bottom:  1em;
-}
-
-.section dl.attrs dd, .section dl.eldef dd {
-    margin-bottom:  0;
-}
-</span></style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-CR"></head> 
+</span>}
+
+<span class="delete">span.practicelab</span><span class="insert">.section dl.attrs dd, .section dl.eldef dd</span> {
+    <span class="delete">position: relative;
+    padding: 0 0.5em;
+    top: -1.5em;</span><span class="insert">margin-bottom:  0;</span>
+}<span class="delete">
+
+p.practicedesc {
+    margin: 1.5em 0.5em 1em 1em;
+}
+
+@media screen {
+    p.practicedesc {
+        position: relative;
+        top: -2em;
+        padding: 0;
+        margin: 1.5em 0.5em -1em 1em;
+    }
+}
+
+/* --- SYNTAX HIGHLIGHTING --- */
+pre.sh_sourceCode {
+  background-color: white;
+  color: black;
+  font-style: normal;
+  font-weight: normal;
+}
+
+pre.sh_sourceCode .sh_keyword { color: #005a9c; font-weight: bold; }           /* language keywords */
+pre.sh_sourceCode .sh_type { color: #666; }                            /* basic types */
+pre.sh_sourceCode .sh_usertype { color: teal; }                             /* user defined types */
+pre.sh_sourceCode .sh_string { color: red; font-family: monospace; }        /* strings and chars */
+pre.sh_sourceCode .sh_regexp { color: orange; font-family: monospace; }     /* regular expressions */
+pre.sh_sourceCode .sh_specialchar { color: 	#ffc0cb; font-family: monospace; }  /* e.g., \n, \t, \\ */
+pre.sh_sourceCode .sh_comment { color: #A52A2A; font-style: italic; }         /* comments */
+pre.sh_sourceCode .sh_number { color: purple; }                             /* literal numbers */
+pre.sh_sourceCode .sh_preproc { color: #00008B; font-weight: bold; }       /* e.g., #include, import */
+pre.sh_sourceCode .sh_symbol { color: blue; }                            /* e.g., *, + */
+pre.sh_sourceCode .sh_function { color: black; font-weight: bold; }         /* function calls and declarations */
+pre.sh_sourceCode .sh_cbracket { color: red; }                              /* block brackets (e.g., {, }) */
+pre.sh_sourceCode .sh_todo { font-weight: bold; background-color: #00FFFF; }   /* TODO and FIXME */
+
+/* Predefined variables and functions (for instance glsl) */
+pre.sh_sourceCode .sh_predef_var { color: #00008B; }
+pre.sh_sourceCode .sh_predef_func { color: #00008B; font-weight: bold; }
+
+/* for OOP */
+pre.sh_sourceCode .sh_classname { color: teal; }
+
+/* line numbers (not yet implemented) */
+pre.sh_sourceCode .sh_linenum { display: none; }
+
+/* Internet related */
+pre.sh_sourceCode .sh_url { color: blue; text-decoration: underline; font-family: monospace; }
+
+/* for ChangeLog and Log files */
+pre.sh_sourceCode .sh_date { color: blue; font-weight: bold; }
+pre.sh_sourceCode .sh_time, pre.sh_sourceCode .sh_file { color: #00008B; font-weight: bold; }
+pre.sh_sourceCode .sh_ip, pre.sh_sourceCode .sh_name { color: #006400; }
+
+/* for Prolog, Perl... */
+pre.sh_sourceCode .sh_variable { color: #006400; }
+
+/* for LaTeX */
+pre.sh_sourceCode .sh_italics { color: #006400; font-style: italic; }
+pre.sh_sourceCode .sh_bold { color: #006400; font-weight: bold; }
+pre.sh_sourceCode .sh_underline { color: #006400; text-decoration: underline; }
+pre.sh_sourceCode .sh_fixed { color: green; font-family: monospace; }
+pre.sh_sourceCode .sh_argument { color: #006400; }
+pre.sh_sourceCode .sh_optionalargument { color: purple; }
+pre.sh_sourceCode .sh_math { color: orange; }
+pre.sh_sourceCode .sh_bibtex { color: blue; }
+
+/* for diffs */
+pre.sh_sourceCode .sh_oldfile { color: orange; }
+pre.sh_sourceCode .sh_newfile { color: #006400; }
+pre.sh_sourceCode .sh_difflines { color: blue; }
+
+/* for css */
+pre.sh_sourceCode .sh_selector { color: purple; }
+pre.sh_sourceCode .sh_property { color: blue; }
+pre.sh_sourceCode .sh_value { color: #006400; font-style: italic; }
+
+/* other */
+pre.sh_sourceCode .sh_section { color: black; font-weight: bold; }
+pre.sh_sourceCode .sh_paren { color: red; }
+pre.sh_sourceCode .sh_attribute { color: #006400; }
+
+</span>
+</style><link rel="stylesheet" href="http://www.w3.org/StyleSheets/TR/W3C-CR"></head> 
   <body><div class="head">
   <p>