new line, part 2

Co-authored-by: Ted Thibodeau Jr <[email protected]>
w3c · Nov 4, 2024 · 617791e · 617791e
1 parent 4954126
commit 617791e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/spec/index.html b/spec/index.html
@@ -1076,8 +1076,9 @@ <h4>Patterns of RDF entailment (Informative)</h4>
           <p><code>ex:p rdf:type rdf:Property .</code></p>
           <p> recognizing {<code>xsd:integer</code>}.</p>
           <p>Some datatypes support idiosyncratic entailment patterns which do not hold for other datatypes. For example,</p>
-          <pre class="nohighlight">ex:a ex:p "true"^^xsd:boolean .
-            ex:a ex:p "false"^^xsd:boolean .
+          <pre class="nohighlight">
+            ex:a ex:p     "true"^^xsd:boolean .
+            ex:a ex:p     "false"^^xsd:boolean .
             ex:v rdf:type xsd:boolean .
           </pre>
           <p>together RDF entail</p>