m.addEnum("message-box", getEnumProperty(EN_MESSAGE_BOX, "MESSAGE_BOX"));
m.addEnum("menu", getEnumProperty(EN_MENU, "MENU"));
m.addEnum("small-caption", getEnumProperty(EN_SMALL_CAPTION, "SMALL_CAPTION"));
m.addEnum("status-bar", getEnumProperty(EN_STATUS_BAR, "STATUS_BAR"));
m.setDefault("");
m.setDatatypeParser(new FontShorthandParser());
addPropertyMaker("font", m);
// margin
m = new ListProperty.Maker(PR_MARGIN);
m.setInherited(false);