--- 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> :=
- | (<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> :=
<span class="nonterminal">prefix</span> <span class="name">:</span> <span class="nonterminal">IRI</span><br/>
<span class="nonterminal">defaultNamespaceDeclaration</span> :=
--- 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: ")";
+}