// border-width
AttributeOnlyStyleEmulationPropertyRenderer borderWidthRenderer =
new AttributeOnlyStyleEmulationPropertyRenderer(
new StyleEmulationElementSetAttributeRenderer(
new String[] {"table", "img"}, "border",
new HTML3_2PixelsEmulationAttributeValueRenderer()));
styleEmulationPropertyRendererSelector.register(
StylePropertyDetails.BORDER_TOP_WIDTH,
borderWidthRenderer);
// width
AttributeOnlyStyleEmulationPropertyRenderer widthRenderer =
new AttributeOnlyStyleEmulationPropertyRenderer(
new StyleEmulationElementSetAttributeRenderer(
new String[]{"table", "td", "th", "hr"}, "width",
new HTML3_2PixelsEmulationAttributeValueRenderer()));
styleEmulationPropertyRendererSelector.register(
StylePropertyDetails.WIDTH,
widthRenderer);
// height
AttributeOnlyStyleEmulationPropertyRenderer heightRenderer =
new AttributeOnlyStyleEmulationPropertyRenderer(
new StyleEmulationElementSetAttributeRenderer(
new String[]{"td", "hr", "th"}, "height",
new HTML3_2PixelsEmulationAttributeValueRenderer()));
styleEmulationPropertyRendererSelector.register(
StylePropertyDetails.HEIGHT,
heightRenderer);
// background-color