From 1866935285d5e07c3b6f975e1972e6ef8f72f8b4 Mon Sep 17 00:00:00 2001
From: deal <deal@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 7 May 2001 10:24:27 +0000
Subject: [PATCH] Print table head in small to make table less wide.

git-svn-id: https://svn.dealii.org/trunk@4549 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/common/scripts/report.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.39.5