~ ericP tweaks 5.2

Author: Eric Prud'hommeaux

index.html

@@ -469,7 +469,7 @@ <h3>Validation Definition</h3>
 
       <p>
 	<dfn id="isValid" label="isValid">isValid</dfn>: For a graph <span class="math">G</span>, a schema  <span class="math">Sch</span> and a fixed ShapeMap <span class="math">ism</span>, <code class="function">isValid(<span class="math">G</span>, <span class="math">Sch</span>, <span class="math">ism</span>)</code> indicates that for every RDFnode/shapeLabel pair <span class="math">(n, sl)</span> in <span class="math">ism</span>, the node <span class="math">n</span> satisfies the shape expression identified by <span class="math">sl</span>.
-	The latter is captured by the expression <code class="function">satisfies(<span class="math">n</span>, <span class="math">s</span>, <span class="math">G</span>, <span class="math">Sch</span>, <a href="#completeTyping">completeTyping</a>(<span class="math">G</span>, <span class="math">Sch</span>))</code>.
+	<strike>The latter</strike><span class="ericP">This</span> is captured by the expression <code class="function">satisfies(<span class="math">n</span>, <span class="math">s</span>, <span class="math">G</span>, <span class="math">Sch</span>, <a href="#completeTyping">completeTyping</a>(<span class="math">G</span>, <span class="math">Sch</span>))</code> <span class="ericP">where `s` is the shape expression identified by `sl`</span>.
 	The function <code class="function">satisfies</code>  is defined for every kind of <a>shape expression</a>.
       </p>
 

local.css

@@ -460,3 +460,10 @@ dd > dl {
 .iovka-added {
     background-color: #afeeee;
 }
+
+.cut {
+    font-style: strike-through;
+}
+.ericP {
+    background-color: #eeeeaf;
+}