71 public void writePackageHeader(String packageName) { |
71 public void writePackageHeader(String packageName) { |
72 hr(4, "noshade"); |
72 hr(4, "noshade"); |
73 tableHeader(); |
73 tableHeader(); |
74 thAlign("center"); |
74 thAlign("center"); |
75 font("+2"); |
75 font("+2"); |
76 boldText("doclet.Package"); |
76 strongText("doclet.Package"); |
77 print(' '); |
77 print(' '); |
78 bold(packageName); |
78 strong(packageName); |
79 tableFooter(); |
79 tableFooter(); |
80 } |
80 } |
81 |
81 |
82 /** |
82 /** |
83 * Write the serial UID info. |
83 * Write the serial UID info. |
84 * |
84 * |
85 * @param header the header that will show up before the UID. |
85 * @param header the header that will show up before the UID. |
86 * @param serialUID the serial UID to print. |
86 * @param serialUID the serial UID to print. |
87 */ |
87 */ |
88 public void writeSerialUIDInfo(String header, String serialUID) { |
88 public void writeSerialUIDInfo(String header, String serialUID) { |
89 bold(header + " "); |
89 strong(header + " "); |
90 println(serialUID); |
90 println(serialUID); |
91 p(); |
91 p(); |
92 } |
92 } |
93 |
93 |
94 /** |
94 /** |