]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Print table head in small to make table less wide.
authordeal <deal@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 7 May 2001 10:24:27 +0000 (10:24 +0000)
committerdeal <deal@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 7 May 2001 10:24:27 +0000 (10:24 +0000)
git-svn-id: https://svn.dealii.org/trunk@4549 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/report.pl

index d2d08d1a4e1a4218a1463a9e5eb1b47b779e9a28..43a390914431bd5bb28d1a25602c4a8cd8e624d5 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.