if (strs.length > 1) {
str.append(strs[1], StyledString.DECORATIONS_STYLER);
}
} else if (element instanceof Node) {
Node node = (Node)element;
if (node.getName() != null) {
str.append(node.getName());
} else {
str.append(node.toString());
}
if (node instanceof Type) {
Type type = (Type)node;