apply to other themes

这个提交包含在:
binary-husky
2024-01-15 11:49:04 +08:00
父节点 71adc40901
当前提交 b7e4744f28
共有 3 个文件被更改,包括 25 次插入6 次删除

查看文件

@@ -67,8 +67,14 @@ def adjust_theme():
button_cancel_text_color_dark="white", button_cancel_text_color_dark="white",
) )
with open(os.path.join(theme_dir, "common.js"), "r", encoding="utf8") as f: js = ""
js = f"<script>{f.read()}</script>" for jsf in [
os.path.join(theme_dir, "common.js"),
os.path.join(theme_dir, "mermaid.min.js"),
os.path.join(theme_dir, "mermaid_loader.js"),
]:
with open(jsf, "r", encoding="utf8") as f:
js += f"<script>{f.read()}</script>"
# 添加一个萌萌的看板娘 # 添加一个萌萌的看板娘
if ADD_WAIFU: if ADD_WAIFU:

查看文件

@@ -31,8 +31,15 @@ def adjust_theme():
THEME = THEME.lstrip("huggingface-") THEME = THEME.lstrip("huggingface-")
set_theme = set_theme.from_hub(THEME.lower()) set_theme = set_theme.from_hub(THEME.lower())
with open(os.path.join(theme_dir, "common.js"), "r", encoding="utf8") as f: js = ""
js = f"<script>{f.read()}</script>" for jsf in [
os.path.join(theme_dir, "common.js"),
os.path.join(theme_dir, "mermaid.min.js"),
os.path.join(theme_dir, "mermaid_loader.js"),
]:
with open(jsf, "r", encoding="utf8") as f:
js += f"<script>{f.read()}</script>"
# 添加一个萌萌的看板娘 # 添加一个萌萌的看板娘
if ADD_WAIFU: if ADD_WAIFU:

查看文件

@@ -76,8 +76,14 @@ def adjust_theme():
chatbot_code_background_color_dark="*neutral_950", chatbot_code_background_color_dark="*neutral_950",
) )
with open(os.path.join(theme_dir, "common.js"), "r", encoding="utf8") as f: js = ""
js = f"<script>{f.read()}</script>" for jsf in [
os.path.join(theme_dir, "common.js"),
os.path.join(theme_dir, "mermaid.min.js"),
os.path.join(theme_dir, "mermaid_loader.js"),
]:
with open(jsf, "r", encoding="utf8") as f:
js += f"<script>{f.read()}</script>"
# 添加一个萌萌的看板娘 # 添加一个萌萌的看板娘
if ADD_WAIFU: if ADD_WAIFU: