/** 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;
 }