ci: Tweak the HTML report style

The header needs to take into account the job id field.
This commit is contained in:
Emmanuele Bassi 2019-04-14 20:37:21 +01:00
parent d733078766
commit 7fb9f21ee0

View File

@ -52,7 +52,7 @@ header {
} }
article { article {
padding-top: 160px; padding-top: 200px;
margin: 2em; margin: 2em;
} }