diff options
Diffstat (limited to 'extras/html/themes/binary_compiler/theme.conf')
| -rw-r--r-- | extras/html/themes/binary_compiler/theme.conf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/extras/html/themes/binary_compiler/theme.conf b/extras/html/themes/binary_compiler/theme.conf index 815363b..f62e48f 100644 --- a/extras/html/themes/binary_compiler/theme.conf +++ b/extras/html/themes/binary_compiler/theme.conf @@ -5,4 +5,6 @@ declare -xr HTML_WEBFONT_HEADING=$HTML_THEME_DIR/heading.ttf declare -xr HTML_WEBFONT_TEXT=$HTML_THEME_DIR/text.ttf declare -xr HTML_WEBFONT_CODE=$HTML_THEME_DIR/code.ttf declare -xr HTML_WEBFONT_HANDNOTES=$HTML_THEME_DIR/handnotes.ttf -declare -xr SOURCE_HIGHLIGHT_CSS=./extras/html/source-highlight-styles/neon.css +declare -xr SOURCE_HIGHLIGHT_CSS=./extras/html/source-highlight-styles/sh_neon.css + + |