File: frac-default-padding.html

package info (click to toggle)
firefox 144.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 4,637,504 kB
  • sloc: cpp: 7,576,692; javascript: 6,430,831; ansic: 3,748,119; python: 1,398,978; xml: 628,810; asm: 438,679; java: 186,194; sh: 63,212; makefile: 19,159; objc: 13,086; perl: 12,986; yacc: 4,583; cs: 3,846; pascal: 3,448; lex: 1,720; ruby: 1,003; exp: 762; php: 436; lisp: 258; awk: 247; sql: 66; sed: 53; csh: 10
file content (37 lines) | stat: -rw-r--r-- 1,381 bytes parent folder | download | duplicates (22)
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
<!DOCTYPE html>
<html>
  <head>
    <meta charset="utf-8">
    <title>fraction default padding</title>
    <link rel="help" href="https://w3c.github.io/mathml-core/#fractions-mfrac">
    <meta name="assert" content="Verifies 1px padding is added around each side of the fraction.">
    <link rel="match" href="frac-default-padding-ref.html">
    <style type="text/css">
      @font-face {
        font-family: TestFont;
        src: url("/fonts/math/fraction-rulethickness10000.woff");
      }
      math {
        /* FractionRuleThickness = 10000 * 1 / 1000 = 10px; */
        /* The gap / shift / axisheight parameters are set to 0. */
        font-family: "TestFont";
        font-size: 1px;
      }
    </style>
  </head>
  <body>
    <p>This test passes if you see three green squares of same size, separated by a gap of one pixel.</p>
    <div>
      <math>
        <mspace width="150px" height="75px" depth="75px" style="background: green"/>
        <mfrac style="color: green; font-size: 15em">
          <mspace id="numerator" width="150px"></mspace>
          <mspace></mspace>
        </mfrac>
        <mspace width="150px" height="75px" depth="75px" style="background: green"/>
      </math>
    </div>
    <script src="/mathml/support/feature-detection.js"></script>
    <script>MathMLFeatureDetection.ensure_for_match_reftest("has_mfrac");</script>
  </body>
</html>