1<!DOCTYPE HTML>
2
3<html id="t">
4<head>
5<meta charset="utf-8">
6<title>About Stats</title>
7<style>
8body {
9  border-top: 10px solid #3B85E3;
10  color: #333;
11  font-family: Verdana, Helvetica, Arial, sans-serif;
12}
13body, td {
14  font-size: 11px;
15}
16a:link, a:visited {
17  color: #2C3EBA;
18  text-decoration: none;
19}
20a:hover {
21  color: red;
22  text-decoration: underline;
23}
24h1 {
25  border-left: 10px solid #FFF;
26  font-size: 16px;
27  font-weight: bold;
28  margin: 0;
29  padding: 0.2em;
30  color: #3B85E3;
31}
32h2 {
33  border-left: 10px solid #FFF;
34  font-size: 11px;
35  font-weight: normal;
36  margin: 0;
37  padding: 0 6em 0.2em 0.2em;
38}
39.details {
40  margin: 0.4em 1.9em 0 1.2em;
41  padding: 0 0.4em 0.3em 0;
42  white-space: nowrap;
43}
44.details .outer {
45  padding-right: 0;
46  vertical-align: top;
47}
48.details .top {
49  border-top: 2px solid #333;
50  font-weight: bold;
51  margin-top: 0.4em;
52}
53.details .header2 {
54  font-weight: bold;
55  padding-left: 0.9em;
56}
57.details .key {
58  padding-left: 1.1em;
59  vertical-align: top;
60}
61.details .value {
62  text-align: right;
63  color: #333;
64  font-weight: bold;
65}
66.details .zebra {
67  background: #EEE;
68}
69.lower {
70  text-transform: lowercase;
71}
72</style>
73<script src="chrome://resources/js/util.js"></script>
74<script src="chrome://stats/stats.js"></script>
75<script src="chrome://stats/strings.js"></script>
76</head>
77<body>
78    <div style="float: right">
79    <br>Filter: <input id="filter" type="text" value="">
80  </div>
81  <h1 class="lower">About Stats</h1>
82  <h2>Shhh!  This page is secret!</h2><br>
83  <table class="details" cellspacing="0" cellpadding="0" border="0">
84    <tbody>
85      <tr>
86        <td class="outer">
87          <table cellspacing="0" cellpadding="0" border="0">
88            <tbody>
89              <tr>
90                <td class="top" width="100">Counters</td>
91                <td class="top value" colspan=2></td>
92              </tr>
93              <tr>
94                <td class="header2 lower" name="string-sort" width="200">name</td>
95                <td class="header2 lower" name="number-sort">value</td>
96                <td class="header2 lower" name="number-sort">delta</td>
97              </tr>
98              <tr jsselect="counters" name="counter">
99                <td class="key" width="200" jscontent="name"></td>
100                <td class="value" jscontent="value"></td>
101                <td class="value" jscontent="delta"></td>
102              </tr>
103            </tbody>
104          </table>
105        </td>
106        <td width="15"></td>
107        <td class="outer">
108          <table cellspacing="0" cellpadding="0" border="0">
109            <tbody>
110              <tr>
111                <td class="top" width="100">Timers</td>
112                <td class="top value"></td>
113                <td class="top value" colspan=3></td>
114              </tr>
115              <tr>
116                <td class="header2 lower" name="string-sort" width="200">name</td>
117                <td class="header2 lower" name="number-sort">count</td>
118                <td class="header2 lower" name="number-sort">time (ms)</td>
119                <td class="header2 lower" name="number-sort">avg time (ms)</td>
120              </tr>
121              <tr jsselect="timers" name="timer">
122                <td class="key" width="200" jscontent="name"></td>
123                <td class="value" jscontent="value"></td>
124                <td class="value" jscontent="time"></td>
125                <td class="value"></td>
126              </tr>
127            </tbody>
128          </table>
129        </td>
130      </tr>
131    </tbody>
132  </table><br>
133  <script src="chrome://resources/js/jstemplate_compiled.js"></script>
134</body>
135</html>
136