DXR will be turned off on Tuesday, December 29th. It will redirect to Searchfox.
See the announcement on Discourse.

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
<!DOCTYPE html>
    <title>default font</title>
    <meta charset="utf-8"/>
  <body style="font: 20px monospace;">

    <math style="font-family: serif; font-size: 40px;">
      <mn>x-math language</mn>