| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>Stretchy mover</title> |
| <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/> |
| <link rel="match" href="stretchy-mover-1-ref.html"/> |
| <link rel="help" href="https://bugzilla.mozilla.org/show_bug.cgi?id=687807"/> |
| <link rel="stylesheet" href="/fonts/ahem.css" /> |
| <style> |
| @font-face { |
| font-family: operators; |
| src: url("/fonts/math/operators.woff"); |
| } |
| math { |
| font: 25px/1 Ahem; |
| } |
| mo { |
| font-family: operators; |
| } |
| #container { |
| width: 800px; |
| height: 600px; |
| overflow: hidden; |
| background: lightblue; |
| } |
| </style> |
| </head> |
| <body> |
| <div id="container"> |
| <math display=block> |
| <mrow> |
| <mspace depth="50em"/> |
| <mrow> |
| <mover> |
| <mo stretchy="true">→</mo> |
| <mn>BBBBBBBBB</mn> |
| </mover> |
| </mrow> |
| <mspace depth="50em"/> |
| </mrow> |
| </math> |
| </div> |
| </body> |
| </html> |
