Update spec/index.html

Co-authored-by: Ted Thibodeau Jr <[email protected]>

Author: doerthe

spec/index.html

@@ -279,7 +279,7 @@ <h2>Notation and Terminology</h2>
   <p>
     For RDF terms t, x, and y, we define the <dfn>substitution mapping</dfn> t[x/y] inductively, as follows:
   </p>
-    <ol>
+  <ol>
     <li>If t = x, then t[x/y] = y.</li>
     <li>If t = (s, p, o) and t &ne; x, then t[x/y] = (s[x/y], p[x/y], o[x/y]).</li>
     <li>Else, t[x/y] = t.</li>