public void write(Device d) throws IOException {
d.print("<script");
if (type != null) d.print(" type=\"" + type + "\"");
if (language != null) d.print(" language=\"" + language + "\"");
if (urlSource != null && urlSource.getURL() != null) {
d.print(" src=\"");
urlSource.getURL().write(d);
d.print("\"");
}
d.print("></script>");
}
public void writeSpanAttributes(Device d, SBorder border) throws IOException {
/* thickness & type */
d.print(getSpanAttributes(border));
}