url: "https://depsterr.com" baseurl: "" # the subpath of your site, e.g. /blog title: "depsterr.com" # the name of your site, e.g. ACME Corp. plugins: - jekyll-feed - jekyll-katex - jekyll/agda exclude: - "*.agdai" katex: rendering_options: throw_error: true sass: sass_dir: assets/css excerpt_separator: