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.

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
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>Check width of stretchy OverBar</title>
    <style type="text/css">
      html { background-color: grey; }
      div { display: inline-block;
            font-size: 30px;
            line-height: 60px; /* Ensure space for overbar */
            border: 1px solid white;
            padding: 2px; /* 10% error allowed in char selection */
            background-color: black;
            color: black; }
    </style>
  </head>
<body>
  <div>
    <math xmlns="http://www.w3.org/1998/Math/MathML">
      <mover>
	<mi>ai</mi>
	<mo>&#xaf;</mo>
      </mover>
    </math>
  </div>
</body>
</html>