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 15 16 17
<!DOCTYPE html>
<html>
  <head>
    <title>Test mpadded</title>
  </head>
  <body>
    <math>
      <!--if height, depth or width is a negative value, 0px is the value applied -->
      <mpadded mathbackground="blue" width="100px" height="100px" depth="-100px"
	       lspace="20px" voffset="10px">
	<mpadded mathbackground="red" width="20px" height="10px"
		 depth="10px">
	</mpadded>
      </mpadded>
    </math>
  </body>
</html>