Html: better interface for result_table (Button added).