94 |
else { |
else { |
95 |
|
|
96 |
StringBuffer result = new StringBuffer(); |
StringBuffer result = new StringBuffer(); |
97 |
result.append("<div class=\"classdoc-tag-section-header\">"); |
result.append("<div class=\"tag list\">"); |
98 |
result.append(HEADER); |
result.append(HEADER); |
99 |
result.append("</div>"); |
result.append("</div>"); |
100 |
result.append("<dl class=\"classdoc-list\">"); |
result.append("<dl class=\"tag section header\">"); |
101 |
result.append("<dt>"); |
result.append("<dt>"); |
102 |
for (int i = 0; i < tags.length; i++) { |
for (int i = 0; i < tags.length; i++) { |
103 |
if (i > 0) { |
if (i > 0) { |