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