[gtk] ci: Tweak the HTML report style

[Emmanuele Bassi <ebassi src gnome org>]

commit 7fb9f21ee02e8876e4b36aedb440919764cbd161
Author: Emmanuele Bassi <ebassi gnome org>
Date:   Sun Apr 14 20:37:21 2019 +0100

    ci: Tweak the HTML report style
    
    The header needs to take into account the job id field.

 .gitlab-ci/meson-html-report.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/.gitlab-ci/meson-html-report.py b/.gitlab-ci/meson-html-report.py
index 77832d8af7..4a2b3643f4 100755
--- a/.gitlab-ci/meson-html-report.py
+++ b/.gitlab-ci/meson-html-report.py
@@ -52,7 +52,7 @@ header {
 }
 
 article {
-  padding-top: 160px;
+  padding-top: 200px;
   margin: 2em;
 }