document.write('<th align="center">' + graph + '</th>');
            }
          }
        }
        function write_overview_table() {
          document.write('<table>');
          var width = document.body.scrollWidth / (builder_list.length + 2);
          write_builders_header_row();
          for (var tindex=0; tindex < test_list.length; tindex++) {
            // Write a graphs header every four rows for navigability.
            // TODO:  Use more sophisticated freezing of the header rows?
           