diff options
author | EuAndreh <eu@euandre.org> | 2021-09-20 19:08:49 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-09-20 19:08:49 -0300 |
commit | 04e111d54c97fccee67439586647aee4ae291907 (patch) | |
tree | 58e612466a3718eb1271f16afba016917e1545ca /aux/ci/report.sh | |
parent | TODOs.md: Mark #task-0c5d9ffc-435e-b395-48ef-29a84bb689e9 as DONE (diff) | |
download | git-permalink-04e111d54c97fccee67439586647aee4ae291907.tar.gz git-permalink-04e111d54c97fccee67439586647aee4ae291907.tar.xz |
Enable darkmode for ci.html and manpages HTML
Diffstat (limited to 'aux/ci/report.sh')
-rwxr-xr-x | aux/ci/report.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/aux/ci/report.sh b/aux/ci/report.sh index 6f18f0f..a812d86 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -55,6 +55,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 >> "$OUT" + +cat <<EOF >> "$OUT" + <style> pre { display: inline; |