home *** CD-ROM | disk | FTP | other *** search
/ Freelog 115 / FreelogNo115-MaiJuin2013.iso / Internet / AvantBrowser / asetup.exe / _data / webkit / chrome.dll / 0 / BINDATA / 508 < prev    next >
Encoding:
Text File  |  2013-04-03  |  3.5 KB  |  135 lines
  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.