diff options
| author | Paul Buetow <paul@buetow.org> | 2024-05-18 13:33:49 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2024-05-18 13:33:49 +0300 |
| commit | 28087df0b79f7e83edb362b4694789828f11c496 (patch) | |
| tree | 94ca5ad84817eb59174a11e47000d4bd1e928eb0 /lib | |
| parent | 39f4e45e535efd2157a3f95258ef7df03a006c13 (diff) | |
move fonts into fonts dir
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/html.source.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/html.source.sh b/lib/html.source.sh index daa4224..1666239 100644 --- a/lib/html.source.sh +++ b/lib/html.source.sh @@ -131,10 +131,10 @@ html::source_highlight () { echo '</pre>' else local style_css - if [ ! -z "$SOURCE_HIGHLIGHT_CSS" ]; then + if [ -n "$SOURCE_HIGHLIGHT_CSS" ]; then style_css="--style-css-file=$SOURCE_HIGHLIGHT_CSS" fi - $SOURCE_HIGHLIGHT --src-lang="$language" $style_css <<< "$bare_text" | + $SOURCE_HIGHLIGHT --src-lang="$language" "$style_css" <<< "$bare_text" | $SED 's|<tt>||; s|</tt>||;' fi } |