config_query TT_DOCS       "Build HTML docs?"         y &&
config_query TT_EXAMPLES   "Build HTML examples?"     y &&
config_query TT_EXTRAS     "Install optional extras?" y &&
config_query TT_XS_ENABLE  "Enable XS Stash?"         y &&
config_query TT_XS_DEFAULT "Use XS Stash by default?" y &&
config_query TT_SPLASH     "use Splash! for docs?"    y &&
if [[ "$TT_SPLASH" == "y" ]]; then
  config_query_list TT_THEME "Select the Splash! theme" default aqua blue green gray red
fi

