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>
    <title>Test mpadded</title>
      <!--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"