MERGE AGAIN THANK YOU MERCURIAL
authorStian Soiland-Reyes <soiland-reyes@cs.manchester.ac.uk>
Tue, 29 Nov 2011 16:00:46 +0000
changeset 1109 ee008d7f19a5
parent 1108 8d0ebc48d40e (current diff)
parent 1107 297cc811b8ab (diff)
child 1110 b710e7ee3f95
MERGE AGAIN THANK YOU MERCURIAL
--- a/model/ProvenanceModel.html	Tue Nov 29 16:00:27 2011 +0000
+++ b/model/ProvenanceModel.html	Tue Nov 29 16:00:46 2011 +0000
@@ -2442,7 +2442,7 @@
 
 <div class='grammar'>
 <span class="nonterminal">namespaceDeclarations</span>&nbsp;:=  
- |  (<span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span>) (<span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span>)*<br>
+ |  <span class="group"><span class="nonterminal">defaultNamespaceDeclaration</span> | <span class="nonterminal">namespaceDeclaration</span></span> <span class="star"> <span class="name">,</span> <span class="nonterminal">namespaceDeclaration</span></span><br>
 <span class="nonterminal">namespaceDeclaration</span>&nbsp;:=  
 <span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">IRI</span><br/>
 <span class="nonterminal">defaultNamespaceDeclaration</span>&nbsp;:=  
--- a/model/extra.css	Tue Nov 29 16:00:27 2011 +0000
+++ b/model/extra.css	Tue Nov 29 16:00:46 2011 +0000
@@ -262,3 +262,15 @@
     font-size:130%;
     content: ")*";
 }
+
+div[class="grammar"] span[class="group"]:before {
+    font-weight: normal;
+    font-size:130%;
+    content: "(";
+}
+
+div[class="grammar"] span[class="group"]:after {
+    font-weight: normal;
+    font-size:130%;
+    content: ")";
+}