}
}  if ( dim != null ) d.append( "width:").append(dim.width). append("px;height:").append(dim.height).append("px;");
	public static void writeSpanAttributes( Device d, SComponent component )    	throws IOException     {        if ( ! hasSpanAttributes( component ) )            return;                    java.awt.Color bgcolor = component.getBackground();        java.awt.Color fgcolor = component.getForeground();        SFont font = component.getFont();        SBorder border = component.getBorder();                if ( bgcolor != null ) d.append( "background-color: #").append(toColorString( bgcolor )).append(";" );        if ( fgcolor != null ) d.append( "font-color: #").append(toColorString( fgcolor )).append(";" );        if ( font != null )         {         	int style = font.getStyle();         	d.append( "font-size: ").append(font.getSize()).append("pt;");         	d.append( "font-style: ").append(( style | java.awt.Font.ITALIC ) > 0 ?"italic;":"normal;");            d.append( "font-weight: ").append(( style | java.awt.Font.BOLD ) > 0 ?"bold;":"normal;");            d.append( "font-family: ").append(font.getFace() ).append( ";" );		 }                if ( border != null )         {         	border.writeSpanAttributes( d );         }      }