StylePropertyDetails.WHITE_SPACE,
WhiteSpaceKeywords.NOWRAP);
Element p = dom.openStyledElement(WMLConstants.BLOCH_ELEMENT, styles);
// @todo 2005060816 annotate child with style information if it's not inherited from the parent
Element select = dom.openElement("select");
ctx.addTitleAttribute(select, attributes);
Element option = dom.openElement("option");
ctx.addTitleAttribute(option, attributes);