diff options
| author | EuAndreh <eu@euandre.org> | 2021-07-15 23:54:00 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2021-07-16 09:00:33 -0300 |
| commit | cd49fe3635845fbcc607138e8f658aef28c3204a (patch) | |
| tree | d7ecfee576b1d2235b0725cd34c0999b0949f004 | |
| parent | aux/workflow/style.css: Be less specific on selectors, remove reference to pr... (diff) | |
| download | git-permalink-cd49fe3635845fbcc607138e8f658aef28c3204a.tar.gz git-permalink-cd49fe3635845fbcc607138e8f658aef28c3204a.tar.xz | |
aux/workflow/styles.css, aux/ci/ci-build.sh: spaces -> tabs
| -rwxr-xr-x | aux/ci/ci-build.sh | 8 | ||||
| -rw-r--r-- | aux/workflow/style.css | 78 |
2 files changed, 43 insertions, 43 deletions
diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 74e9558..af29697 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -8,10 +8,10 @@ FILENAME="$(date -Is)-$SHA.log" LOGFILE="$LOGS_DIR/$FILENAME" mkdtemp() { - name="$(echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname.")" - rm -f "$name" - mkdir "$name" - echo "$name" + name="$(echo 'mkstemp(template)' | m4 -D template="${TMPDIR:-/tmp}/m4-tmpname.")" + rm -f "$name" + mkdir "$name" + echo "$name" } { diff --git a/aux/workflow/style.css b/aux/workflow/style.css index e34e8e6..a703950 100644 --- a/aux/workflow/style.css +++ b/aux/workflow/style.css @@ -1,41 +1,41 @@ <style> - hr { - background-color: #ccc; - } - - .header-anchor { - opacity: 0.5; - } - - .tag { - font-family: monospace; - font-size: 70%; - background-color: lightgray; - padding: 3px; - border-radius: 5px; - } - - .TODO { - color: brown; - } - - .DOING { - color: yellowgreen; - } - - .WAITING, .MEETING { - color: orange; - } - - .INACTIVE { - color: gray; - } - - .NEXT { - color: red; - } - - .CANCELLED, .DONE { - color: green; - } + hr { + background-color: #ccc; + } + + .header-anchor { + opacity: 0.5; + } + + .tag { + font-family: monospace; + font-size: 70%; + background-color: lightgray; + padding: 3px; + border-radius: 5px; + } + + .TODO { + color: brown; + } + + .DOING { + color: yellowgreen; + } + + .WAITING, .MEETING { + color: orange; + } + + .INACTIVE { + color: gray; + } + + .NEXT { + color: red; + } + + .CANCELLED, .DONE { + color: green; + } </style> |