extensions/venkman/resources/content/venkman-output-window.html

   1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0//EN">
   2 <html>
   3   <head>
   4     <script>
   5       var css = "chrome://venkman/skin/venkman-output-default.css";
   6       if (document.location.search)
   7          css = document.location.search.substr(1);
   8
   9       document.write ("<LINK REL=StyleSheet HREF='" + css +
  10                       "' TYPE='text/css' MEDIA='screen'>");
  11     </script>
  12   </head>
  13
  14   <body id="venkman-session-body">
  15
  16     <table border="0" cellpadding="0" cellspacing="0" id="session-output-table">
  17     </table>
  18
  19   </body>
  20
  21 </html>