blob: 8a87c2387f935361a6330d01676f74854b71bc88 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
<!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 width="10em"/>
<mrow>
<mover>
<mo stretchy="true">→</mo>
<mn>BBBBBBBBB</mn>
</mover>
</mrow>
<mspace width="10em"/>
</mrow>
</math>
</div>
</body>
</html>
|