{
    "theme": [
        "tianyu-default",
        "tianyu-green",
        "tianyu-mono",
        "tianyu-purple",
        "tianyu-red"
    ]
}