config.toml

# The URL the site will be built for
base_url = "https://lean-ja.github.io/"

# The site title and description; used in feeds by default.
title = "LEAN JA"
description = "lean-ja は, Lean に関する情報の交換と集積を目的とした日本語コミュニティです．"

# The default language; used in feeds.
default_language = "ja"

# The site theme to use.
theme = "juice"

# Whether to automatically compile all Sass files in the sass directory
compile_sass = true

# Whether to build a search index to be used later on by a JavaScript library
build_search_index = false

[markdown]
# Whether to do syntax highlighting
# Theme can be customised by setting the `highlight_theme` variable to a theme supported by Zola
highlight_code = true

# A list of directories used to search for additional `.sublime-syntax` and `.tmTheme` files.
extra_syntaxes_and_themes = ["syntaxes/lean-sublime-syntax"]

# The theme to use for code highlighting.
# See below for list of allowed values.
highlight_theme = "ayu-mirage"

[extra]
# Put all your custom variables here
juice_logo_name = "LEAN JA"
juice_logo_path = "lean_ja.svg"
juice_extra_menu = [
    { title = "Github", link = "https://github.com/lean-ja"}
]
juice_exclude_menu = [
    "exclude_from_nav"
]
repository_url = ""