DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (b6d82b1a6b02)

VCS Links

Line Code
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 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
<!DOCTYPE html>
<html>
  <head>
    <title>Font Inflation</title>
    <meta charset="utf-8"/>
    <style>
      @font-face {
        font-family: "dtls-1";
        src: url(../fonts/math/dtls-1.otf);
      }
      p, math {
        font-family: serif;
      }
    </style>
  </head>
  <body>

<p>The text
'<math>
    <mrow id="ref">
      <mtext style="font-family: dtls-1">&#x1D51E;</mtext>
      <mtext>+</mtext>
  </mrow>
  </math>'
should have the same size as inline math
'<math>
    <mrow id="inline">
      <mtext style="font-family: dtls-1" mathvariant="fraktur">a</mtext>
      <mo>+</mo>
    </mrow>
  </math>'
or math in a table: '<math><mtable><mtr>
    <mtd>
      <mrow id="cell">
        <mtext style="font-family: dtls-1" mathvariant="fraktur">a</mtext>
        <mo>+</mo>
      </mrow>
    </mtd>
  </mtr></mtable></math>'
(but not necessarily the same size as block-level math
<math display="block">
    <mrow id="display">
      <mtext style="font-family: dtls-1" mathvariant="fraktur">a</mtext>
      <mo>+</mo>
    </mrow>
  </math>
because it forms a BFC and hence is its own inflation container.)
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod
tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam,
quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo
consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse
cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non
proident, sunt in culpa qui officia deserunt mollit anim id est laborum. Lorem
ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor
incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis
nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.
Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore
eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt
in culpa qui officia deserunt mollit anim id est laborum. Lorem ipsum dolor
sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut
labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud
exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis
aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu
fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in
culpa qui officia deserunt mollit anim id est laborum. Lorem ipsum dolor sit
amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore
et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation
ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor
in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla
pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui
officia deserunt mollit anim id est laborum.</p>

  </body>
</html>