diff options
Diffstat (limited to 'extras/html/themes/dynamic_forest/theme.conf')
| -rw-r--r-- | extras/html/themes/dynamic_forest/theme.conf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/extras/html/themes/dynamic_forest/theme.conf b/extras/html/themes/dynamic_forest/theme.conf deleted file mode 100644 index 6147fc7..0000000 --- a/extras/html/themes/dynamic_forest/theme.conf +++ /dev/null @@ -1,8 +0,0 @@ -declare -xr HTML_HEADER=./extras/html/header.html.part -declare -xr HTML_FOOTER=./extras/html/footer.html.part -declare -xr HTML_CSS_STYLE=$HTML_THEME_DIR/style.css -declare -xr HTML_WEBFONT_HEADING=./extras/html/fonts/pixelon/pixelon-Bold.ttf -declare -xr HTML_WEBFONT_TEXT=./extras/html/fonts/roboto-slab/roboto-slab-Regular.ttf -declare -xr HTML_WEBFONT_CODE=./extras/html/fonts/consola-mono/consola-mono-Regular.ttf -declare -xr HTML_WEBFONT_HANDNOTES=./extras/html/fonts/khand/khand.ttf -declare -xr SOURCE_HIGHLIGHT_CSS=./extras/html/source-highlight-styles/mono.css |