+
+/* Hack to make the header table line up with the data */
+function normalizeHeaderTable() {
+ var message_list_hdr = document.getElementById("message_list_hdr");
+ var summary_view = document.getElementById("summary_view");
+ var resize_msglist = document.getElementById("resize_msglist");
+ var headerTable = message_list_hdr.getElementsByTagName("table")[0];
+ var dataTable = summary_view.getElementsByTagName("table")[0];
+ var dataTableWidth = dataTable.offsetWidth;
+ headerTable.style.width = dataTableWidth+"px";
+}
+