change from body class= to body id=, so we can getElementById it later

2001-07-03 22:39:43 +00:00 · 2001-07-03 22:39:43 +00:00 · 8f28940613
--- a/extensions/venkman/resources/content/venkman-output-window.html
+++ b/extensions/venkman/resources/content/venkman-output-window.html
@ -2,5 +2,5 @@
 <html>
    <LINK REL=StyleSheet HREF='chrome://venkman/skin/venkman-output-default.css'
      TYPE='text/css' MEDIA='screen'>
-  <body class="venkman-body"><table border="0" cellpadding="0" cellspacing="0" id="output-table"><tbody id="output-tbody"></tbody></table></body>
+  <body id="venkman-body"><table border="0" cellpadding="0" cellspacing="0" id="output-table"><tbody id="output-tbody"></tbody></table></body>
 </html>