From: deal <deal@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 7 May 2001 10:24:27 +0000 (+0000)
Subject: Print table head in small to make table less wide.
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1866935285d5e07c3b6f975e1972e6ef8f72f8b4;p=dealii-svn.git

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 d2d08d1a4e..43a3909144 100644
--- 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