re"><span class="secno"></span> <span class="content">Terms defined by this specification</span></a>
     </ol>
   </ol>
  </nav>
  <main>
   <p>With nothing, `type=dfn`:</p>
   <ul>
    <li data-md>
     <p><dfn class="dfn-paneled" data-dfn-type="dfn" data-noexport id="no-inference-should-be-dfn">no inference, should be dfn</dfn></p>
   </ul>
   <hr>
   <p>With explicit type, use the type:</p>
   <ul>
    <li data-md>
     <p><dfn class="dfn-paneled css" data-dfn-type="property" data-export id="propdef-exp