+}
+
+function paint_subrecord(node)
+{
+ var table = document.createElement('table');
+ var zurl = node.getAttribute('id');
+ var name = node.getAttribute('name');
+ var tr;
+ if (name)
+ tr = paint_details_tr('Source', document.createTextNode(name));
+ else
+ tr = paint_details_tr('Source', document.createTextNode(zurl));
+ table.appendChild(tr);
+ paint_data_elements(table, node);
+ return table;
+}
+
+function paint_details(body, xml)
+{
+ clear_cell(body);
+ var table = document.createElement('table');
+ table.setAttribute('cellpadding', 2);
+ paint_data_elements(table, xml.childNodes[0]);