From de3527791fec0dde8bb78f9facb55a34da32cc02 Mon Sep 17 00:00:00 2001 From: adolfintel Date: Wed, 8 Aug 2018 20:55:17 +0200 Subject: [PATCH] results/index.php should be better at finding the fonts now. I hope --- results/index.php | 20 +++++++++++++++----- 1 file changed, 15 insertions(+), 5 deletions(-) diff --git a/results/index.php b/results/index.php index 61bb1e3..4ee82e1 100644 --- a/results/index.php +++ b/results/index.php @@ -1,21 +1,31 @@