tor-browser

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

stretchy-munderover-3a.html (816B)

      1 <!DOCTYPE html>
      2 <html>
      3  <head>
      4    <title>Stretchy munderover</title>
      5    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
      6    <link rel="mismatch" href="stretchy-munderover-3-ref.html"/>
      7    <link rel="help" href="https://bugzilla.mozilla.org/show_bug.cgi?id=687807"/>
      8    <link rel="stylesheet" href="/fonts/ahem.css" />
      9    <style>
     10      @font-face {
     11        font-family: operators;
     12        src: url("/fonts/math/operators.woff");
     13      }
     14      math {
     15        font: 25px/1 Ahem;
     16      }
     17      mo {
     18        font-family: operators;
     19      }
     20    </style>
     21  </head>
     22  <body>
     23    <math>
     24      <mrow>
     25        <munderover>
     26          <mtext>AAAAAA</mtext>
     27          <mo stretchy="false">&#x2192;</mo>
     28          <mtext>BBBBBB</mtext>
     29        </munderover>
     30     </mrow>
     31    </math>
     32  </body>
     33 </html>