From 7fb9f21ee02e8876e4b36aedb440919764cbd161 Mon Sep 17 00:00:00 2001
From: Emmanuele Bassi <ebassi@gnome.org>
Date: Sun, 14 Apr 2019 20:37:21 +0100
Subject: [PATCH] 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;
 }