diff options
| -rwxr-xr-x | stats/gen_report.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stats/gen_report.py b/stats/gen_report.py index 264305c..4e10bda 100755 --- a/stats/gen_report.py +++ b/stats/gen_report.py @@ -270,6 +270,9 @@ html_template=""" <head> <title>Performace report on the run named '{run_name}'</title> + <style> + body {{ font-size: 10pt}} + </style> </head> <body> |