+ width25 = Style(name="Wshort", family="table-column")
+ width25.addElement(TableColumnProperties(columnwidth="2.5cm"))
+ document.automaticstyles.addElement(width25)
+
+ width3 = Style(name="Wwide", family="table-column")
+ width3.addElement(TableColumnProperties(columnwidth="3cm"))
+ document.automaticstyles.addElement(width3)
+
+ width9 = Style(name="Wwide", family="table-column")
+ width9.addElement(TableColumnProperties(columnwidth="9cm"))
+ document.automaticstyles.addElement(width9)
+