Print table head in small to make table less wide.

git-svn-id: https://svn.dealii.org/trunk@4549 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/common/scripts/report.pl b/deal.II/common/scripts/report.pl
index d2d08d1a4e1a4218a1463a9e5eb1b47b779e9a28..43a390914431bd5bb28d1a25602c4a8cd8e624d5 100644 (file)
--- a/deal.II/common/scripts/report.pl
+++ b/deal.II/common/scripts/report.pl
@@ -49,7 +49,7 @@ foreach $name (sort keys %testcase) {
 
 for ($i=1;$i<$next_index;$i++)
 {
-    printf "<th>%02d", $i;
+    printf "<th><small>%02d</small>", $i;
 }
 
 # finally output a table of results