The user's configuration directory for Stk (named RCDIR below) is :
The file RCDIR/config.json is a JSON file where the user can specify:
{ ... theme = "dark", ... }
{ ... font_dirs: [ ... ], ... }
Default configuration values are :
{ "theme": "default", "font_dirs": [ "/usr/share/fonts", "/usr/local/share/fonts" ] }
New themes for Stk interfaces can be defined in RCDIR/themes. Each theme is stored in a sub-directory, whose basename serves as theme name (which can then be used in RCDIR/config.json).
In a theme directory, each of the following files is optional :
{ "prepend_default_preamble": true, "prepend_default_body": true }