} else {
// General HTML 3.2 renderer
AttributeOnlyStyleEmulationPropertyRenderer paddingRenderer =
new AttributeOnlyStyleEmulationPropertyRenderer(
new HTML3_2PaddingEmulationPropertyRenderer());
styleEmulationPropertyRendererSelector.register(
StylePropertyDetails.PADDING_TOP, paddingRenderer);
}
}