tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

mo-lspace-rspace-3.html (1559B)


      1 <!DOCTYPE html>
      2 <html class="reftest-wait">
      3  <head>
      4    <title>mo-lspace-rspace-3</title>
      5    <link rel="match" href="mo-lspace-rspace-3-ref.html">
      6  </head>
      7  <body>
      8    <p>
      9      <math>
     10        <mo id="mo1">*</mo>
     11      </math>
     12    </p>
     13    <p>
     14      <math>
     15        <mo id="mo2" lspace="3em">*</mo>
     16      </math>
     17    </p>
     18    <p>
     19      <math>
     20        <mo id="mo3">*</mo>
     21        <mo>*</mo>
     22      </math>
     23    </p>
     24    <p>
     25      <math>
     26        <mo id="mo4" lspace="3em">*</mo>
     27        <mo >*</mo>
     28      </math>
     29    </p>
     30    <p>
     31      <math id="math1">
     32        <mo>*</mo>
     33      </math>
     34    </p>
     35    <p>
     36      <math id="math2">
     37        <mo>*</mo>
     38        <mo id="mo5">*</mo>
     39      </math>
     40    </p>
     41    <script type="text/javascript">
     42      function doTest() {
     43        // Add and remove lspace
     44        document.getElementById("mo1").setAttribute("lspace", "3em");
     45        document.getElementById("mo2").removeAttribute("lspace");
     46        // and again but with an inferred mrow
     47        document.getElementById("mo3").setAttribute("lspace", "3em");
     48        document.getElementById("mo4").removeAttribute("lspace");
     49 
     50        // Change to/from inferred mrow
     51        var mo1 = document.createElementNS("http://www.w3.org/1998/Math/MathML", "mo");
     52        mo1.innerHTML = "*";
     53        document.getElementById("math1").appendChild(mo1);
     54        document.getElementById("math2").removeChild(document.getElementById("mo5"));
     55 
     56        document.documentElement.removeAttribute("class");
     57      }
     58      window.addEventListener("load", doTest);
     59  </script>
     60  </body>
     61 </html>