WapTV5_WMLVersion1_3Style style = getStyle(attributes);
if (style != null) {
style.addFontFamily(element, "font");
style.addPosition(element, "pos");
style.addBackgroundPosition(element, "bgoffset");
}
}
protected final class WAPTV5DefaultSelectionRenderer
implements SelectionRenderer {