tor-browser

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

stretchy-munderover-1-ref.html (668B)


      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="stylesheet" href="/fonts/ahem.css" />
      7    <style>
      8      @font-face {
      9        font-family: operators;
     10        src: url("/fonts/math/operators.woff");
     11      }
     12      math {
     13        font: 25px/1 Ahem;
     14      }
     15      mo {
     16        font-family: operators;
     17      }
     18    </style>
     19 </head>
     20  <body>
     21    <math >
     22      <mrow>
     23        <munderover>
     24          <mo stretchy="true">&#x2192;</mo>
     25          <mtext>AAAAAA</mtext>
     26          <mtext>BBBBBB</mtext>
     27        </munderover>
     28      </mrow>
     29    </math>
     30  </body>
     31 </html>