book.json

{
    "plugins": [
        "-lunr",
        "-search",
        "search-pro",
        "expandable-chapters",
        "code",
        "chapter-fold",
        "splitter",
        "github",
        "-highlight",
        "prism",
        "prism-themes",
        "theme-comscore",
        "katex-pp"
    ],
    "pluginsConfig": {
        "github": {
            "url": "https://github.com/BUAA-SE-Compiling/Slang-tutorial"
        },
        "prism": {
            "lang": {
                "shell": "bash"
            },
            "css": [
                "prism-themes/themes/prism-synthwave84.css"
            ]
        }
    }
}