body.addAttribute(HTML.Attribute.BGCOLOR, "#ffffff");
body.addAttribute(HTML.Attribute.BACKGROUND, "bg.jpg");
body.addAttribute(HTML.Attribute.TEXT, "black");
body.addAttribute(HTML.Attribute.LINK, "blue");
body.addAttribute(HTML.Attribute.ALINK, "red");
body.addAttribute(HTML.Attribute.VLINK, "purple");
AbstractElement a = (AbstractElement)doc.getCharacterElement(2);
assertNotNull(a.getAttribute(HTML.Tag.A));
attr = ss.translateHTMLToCSS(a);
assertNull(((NamedStyle)attr).getName());