Ticket #6001: layout_v4.html

<!--
A number of useful mathematical characters lie outside Unicode's Basic
Multilingual Plane (BMP).  FireFox, Chrome, IE, Opera, and Safari
support varies.  For possibilities, see, e.g.,

http://www.unicode.org/charts/symbols.html
http://www.ltg.ed.ac.uk/~richard/utf-8.cgi
 -->
<div class="docstring">
  <div class="docstring_header">
    <div style="clear: both; height: 0px;">&nbsp;</div>
    <div class="docstring_name" style="float: left; text-align: left; width: 49%;">
    </div>
    <div class="docstring_toolbar" style="float: right; text-align: right; width: 49%; color: black;">
      <a href="#" title="Decrease font size" class="docstring_font_smaller" onclick="introspect.font_smaller($(this)); return false;">
        <!-- x1d557, &#120151 mathematical double-struck small f -->
        <!-- x2146, &#8518 double-struck italic small d -->
        &nbsp;f&nbsp;
      </a>
      |
      <a href="#" title="Reset font size" class="docstring_font_reset" onclick="introspect.font_reset($(this)); return false;">
        <!-- x2248, &#8776 almost equal to -->
        &nbsp;&#8776&nbsp;
      </a>
      |
      <a href="#" title="Increase font size" class="docstring_font_larger" onclick="introspect.font_larger($(this)); return false;">
        <!-- x1d53d, &#120125 mathematical double-struck capital F -->
        <!-- x2145, &#8517 double-struck italic capital d -->
        &nbsp;F&nbsp;
      </a>
      |
      <a href="#" title="Toggle height limit" class="docstring_height_toggle" onclick="introspect.height_toggle($(this)); return false;">
        <!-- 210d, &#8461 double-struck capital H -->
        &nbsp;&#8461&nbsp;
      </a>
      |
      <a href="#" title="Toggle hide / show" class="docstring_toggle" onclick="introspect.toggle($(this)); return false;">
        <!-- x1d6d5, &#120533 mathematical bold tau -->
        <!-- x03c4, &#964; Greek small letter tau -->
        &nbsp;&#964;&nbsp;
      </a>
      |
      <a href="#" title="Tear out" class="docstring_open" onclick="introspect.open($(this)); return false;">
        <!-- x2702, &#9986 black scissors -->
        <!-- x2704, &#9988 white scissors -->
        &nbsp;&#9988&nbsp;
      </a>
      |
      <a href="#" title="Close" class="docstring_close" onclick="introspect.close($(this)); return false;">
        <!-- x2205, &#8709 empty set -->
        &nbsp;&#8709&nbsp;
      </a>
    </div>
    <div style="clear: both; height: 0px;">&nbsp;</div>
  </div>
  <div class="docstring_proper" style="overflow: auto; height: auto ! important;">
    {% block body %} {% endblock %}
  </div>
</div>