341     out->put_string("<table width=\"100%\"")  in emit_table_header()
342       .put_string(" border=0 rules=\"none\" frame=\"void\"\n")  in emit_table_header()
343       .put_string("       cellspacing=\"0\" cellpadding=\"0\"");  in emit_table_header()
344     out->put_string(">")  in emit_table_header()
346     out->put_string("<tr valign=\"top\" align=\"left\"");  in emit_table_header()
348       out->put_string(" style=\"margin-top: ");  in emit_table_header()
349       out->put_string(STYLE_VERTICAL_SPACE);  in emit_table_header()
350       out->put_string("\"");  in emit_table_header()
352     out->put_string(">").nl();  in emit_table_header()
400       out->put_string("</td>").nl();  in emit_col()
411 	out->put_string("<td width=\"")  in emit_col()
413 	    .put_string("%\"></td>")  in emit_col()
427 	out->put_string("<td width=\"")  in emit_col()
429 	    .put_string("%\"></td>")  in emit_col()
433 	out->put_string("<td width=\"")  in emit_col()
435 	    .put_string("%\"></td>")  in emit_col()
445       out->put_string("<td width=\"")  in emit_col()
447 	  .put_string("%\" align=center>")  in emit_col()
451       out->put_string("<td width=\"")  in emit_col()
453 	  .put_string("%\" align=right>")  in emit_col()
457       out->put_string("<td width=\"")  in emit_col()
459 	  .put_string("%\">")  in emit_col()
482     out->put_string("</td>").nl();  in finish_row()
494   out->put_string("<tr valign=\"top\" align=\"left\"");  in emit_new_row()
496     out->put_string(" style=\"margin-top: ");  in emit_new_row()
497     out->put_string(STYLE_VERTICAL_SPACE);  in emit_new_row()
498     out->put_string("\"");  in emit_new_row()
500   out->put_string(">").nl();  in emit_new_row()
508   out->put_string("</table>");  in emit_finish_table()
749       table->out->put_string(" style=\"margin-top: ");  in begin()
750       table->out->put_string(STYLE_VERTICAL_SPACE);  in begin()
751       table->out->put_string("\"");  in begin()
759     table->out->put_string(" style=\"margin-left:")  in begin()
762       .put_string("%;");  in begin()
765       table->out->put_string(" margin-top: ");  in begin()
766       table->out->put_string(STYLE_VERTICAL_SPACE);  in begin()
768     table->out->put_string("\"");  in begin()