Ticket #6001: layout_v3.html

File layout_v3.html, 2.3 KB (added by mpatel, 12 years ago)

Goes with introspect_v3.js.

Line 
1<!--
2A number of useful mathematical characters lie outside Unicode's Basic
3Multilingual Plane (BMP).  FireFox, Chrome, IE, Opera, and Safari
4support varies.  For possibilities, see, e.g.,
5
6http://www.unicode.org/charts/symbols.html
7http://www.ltg.ed.ac.uk/~richard/utf-8.cgi
8 -->
9<div class="docstring">
10  <div class="docstring_header">
11    <div style="clear: both; height: 0px;">&nbsp;</div>
12    <div class="docstring_name" style="float: left; text-align: left; width: 49%;">
13    </div>
14    <div class="docstring_toolbar" style="float: right; text-align: right; width: 49%; color: black;">
15      <a href="#" title="Decrease font size" class="docstring_font_smaller" onclick="introspect.font_smaller($(this)); return false;">
16        <!-- x1d557 mathematical double-struck small f -->
17        <!-- &#120151&#120151&#120151 -->
18        <!-- x2146 double-struck italic small d -->
19        <!-- &#8518&#8518&#8518 -->
20        fff
21      </a>
22      &nbsp;&nbsp;&nbsp;
23      <a href="#" title="Reset font size" class="docstring_font_reset" onclick="introspect.font_reset($(this)); return false;">
24        <!-- x2248 almost equal to -->
25        &#8776&#8776&#8776
26      </a>
27      &nbsp;&nbsp;&nbsp;
28      <a href="#" title="Increase font size" class="docstring_font_larger" onclick="introspect.font_larger($(this)); return false;">
29        <!-- x1d53d mathematical double-struck capital F -->
30        <!-- &#120125&#120125&#120125 -->
31        <!-- x2145 double-struck italic capital d -->
32        <!-- &#8517&#8517&#8517 -->
33        FFF
34      </a>
35      &nbsp;&nbsp;&nbsp;
36      <a href="#" title="Toggle hide / show" class="docstring_toggle" onclick="introspect.toggle($(this)); return false;">
37        <!-- x1d6d5 mathematical bold tau -->
38        <!-- &#120533&#120533&#120533 -->
39        <!-- x03c4 Greek small letter tau -->
40        &#964;&#964;&#964;
41      </a>
42      &nbsp;&nbsp;&nbsp;
43      <a href="#" title="Tear out" class="docstring_open" onclick="introspect.open($(this)); return false;">
44        <!-- x2702 black scissors -->
45        <!-- &#9986&#9986&#9986 -->
46        <!-- x2704 white scissors -->
47        &#9988&#9988&#9988
48      </a>
49      &nbsp;&nbsp;&nbsp;
50      <a href="#" title="Close" class="docstring_close" onclick="introspect.close($(this)); return false;">
51        <!-- x2205 empty set -->
52        &#8709&#8709&#8709
53      </a>
54    </div>
55    <div style="clear: both; height: 0px;">&nbsp;</div>
56  </div>
57  <div class="docstring_proper">
58    {% block body %} {% endblock %}
59  </div>
60</div>