1 <!DOCTYPE HTML> 2 3 <html id="t"> 4 <head> 5 <meta charset="utf-8"> 6 <title>About Stats</title> 7 <style> 8 body { 9 border-top: 10px solid #3B85E3; 10 color: #333; 11 font-family: Verdana, Helvetica, Arial, sans-serif; 12 } 13 body, td { 14 font-size: 11px; 15 } 16 a:link, a:visited { 17 color: #2C3EBA; 18 text-decoration: none; 19 } 20 a:hover { 21 color: red; 22 text-decoration: underline; 23 } 24 h1 { 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 } 32 h2 { 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