1 files changed, 9 insertions, 1 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh
index 6f18f0f..e900e26 100755
--- a/aux/ci/report.sh
+++ b/aux/ci/report.sh
@@ -45,7 +45,8 @@ for c in $(git notes list | cut -d\  -f2); do
 		> "$OUTDIR/ci-logs/$FILENAME"
 done
 
-cat <<EOF >> "$OUT"
+{
+	cat <<EOF
 <!DOCTYPE html>
 <html lang="en">
   <head>
@@ -55,6 +56,12 @@ cat <<EOF >> "$OUT"
     <link rel="icon" type="image/svg+xml" href="favicon.svg" />
     <title>$PROJECT - CI logs</title>
 
+EOF
+
+	cat aux/workflow/style.css
+
+	cat <<EOF
+
     <style>
       pre {
         display: inline;
@@ -72,6 +79,7 @@ cat <<EOF >> "$OUT"
       </h1>
       <ol>
 EOF
+} > "$OUT"
 
 for f in $(find "$OUTDIR/ci-data/" -type f | LANG=C.UTF-8 sort -r); do
 	DATA="$(cat "$f")"