Ticket #6001: layout_v3.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 mathematical double-struck small f -->
        <!-- &#120151&#120151&#120151 -->
        <!-- x2146 double-struck italic small d -->
        <!-- &#8518&#8518&#8518 -->
        fff
      </a>
      &nbsp;&nbsp;&nbsp;
      <a href="#" title="Reset font size" class="docstring_font_reset" onclick="introspect.font_reset($(this)); return false;">
        <!-- x2248 almost equal to -->
        &#8776&#8776&#8776
      </a>
      &nbsp;&nbsp;&nbsp;
      <a href="#" title="Increase font size" class="docstring_font_larger" onclick="introspect.font_larger($(this)); return false;">
        <!-- x1d53d mathematical double-struck capital F -->
        <!-- &#120125&#120125&#120125 -->
        <!-- x2145 double-struck italic capital d -->
        <!-- &#8517&#8517&#8517 -->
        FFF
      </a>
      &nbsp;&nbsp;&nbsp;
      <a href="#" title="Toggle hide / show" class="docstring_toggle" onclick="introspect.toggle($(this)); return false;">
        <!-- x1d6d5 mathematical bold tau -->
        <!-- &#120533&#120533&#120533 -->
        <!-- x03c4 Greek small letter tau -->
        &#964;&#964;&#964;
      </a>
      &nbsp;&nbsp;&nbsp;
      <a href="#" title="Tear out" class="docstring_open" onclick="introspect.open($(this)); return false;">
        <!-- x2702 black scissors -->
        <!-- &#9986&#9986&#9986 -->
        <!-- x2704 white scissors -->
        &#9988&#9988&#9988
      </a>
      &nbsp;&nbsp;&nbsp;
      <a href="#" title="Close" class="docstring_close" onclick="introspect.close($(this)); return false;">
        <!-- x2205 empty set -->
        &#8709&#8709&#8709
      </a>
    </div>
    <div style="clear: both; height: 0px;">&nbsp;</div>
  </div>
  <div class="docstring_proper">
    {% block body %} {% endblock %}
  </div>
</div>