/** builds the String containing attributes for the <body> tag */
 StringBuffer getBodyAttributes() {
   StringBuffer result = new StringBuffer();
   WebForm form = FormManager.getActive();
   if (form != null) {
     HTMLUtil.attribute(result, HTML.BGCOLOR, form.getBgColor().toString());
     HTMLUtil.attribute(result, HTML.TEXT, form.getTextColor().toString());
     HTMLUtil.attribute(result, HTML.LEFTMARGIN, form.getLeftmargin());
     HTMLUtil.attribute(result, HTML.TOPMARGIN, form.getTopmargin());
     HTMLUtil.attribute(result, HTML.MARGINHEIGHT, form.getMarginheight());
     HTMLUtil.attribute(result, HTML.MARGINWIDTH, form.getMarginwidth());
     result.append(" ");
     result.append(WebComponentControl.getUniversalAttributes(form));
     result.append(" ");
   }
   return result;
 }
 /** renders the basic html structure of the head of a page, which is the same in every page */
 StringBuffer createPageHeader() {
   StringBuffer html = new StringBuffer();
   String ieSpecial = "";
   if (W4TContext.getBrowser() instanceof Ie) {
     ieSpecial =
         "<!-- InternetExplorer special --><script>"
             + "</script><!-- End InternetExplorer special -->";
   }
   html.append(HTML.DOCTYPE_4_0_TRANSITIONAL);
   html.append("<html><head>");
   WebFormUtil.renderTitle(html, WebFormUtil.getWindowTitle());
   html.append(createCssClasses());
   createCssReferences(html);
   html.append(getWindowOpener());
   html.append(" ");
   html.append(getWindowCloser());
   WebFormUtil.renderContentType(html);
   WebFormUtil.renderCacheControl(html);
   html.append(" ");
   html.append(ieSpecial);
   html.append(WebFormUtil.renderFavIcon());
   html.append("</head>");
   html.append("<body ");
   html.append(getBodyAttributes());
   html.append(">");
   html.append(WebFormUtil.createOpenForm());
   return html;
 }