加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
克隆/下载
index.html 1.60 KB
一键复制 编辑 原始数据 按行查看 历史
My 提交于 2024-10-25 17:07 . 🛠更新站点名称为"知识体系"
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<link rel="icon" href="/favicon.ico" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=0, minimum-scale=1.0">
<title>知识体系</title>
<style>
#buildTime {
color: black;
font-weight: 600;
}
body[theme=dark] #buildTime {
color: white;
}
</style>
</head>
<body>
<header id="staticHeader" style="display: none;">
{summary}
</header>
<div id="app"></div>
<div style="position: fixed; bottom: 10px; right: 10px" id="buildTime"></div>
<script type="module" src="/src/main.ts"></script>
</body>
<script>
/*build-time*/const buildTime = "" /*build-time*/
document.getElementById("buildTime").innerHTML = `${new Date(buildTime).toLocaleString()}`
</script>
<script>
// 切回页面时检查js资源是否有效
// document.addEventListener('visibilitychange', async () => {
// if (document.hidden) {
// return
// }
// const data = await (await fetch("/", {cache: 'no-cache'})).text()
// const remoteMainScript = new DOMParser().parseFromString(data, 'text/html').querySelectorAll("script")[0].getAttribute("src")
// const localMainScript = document.querySelectorAll("script")[0].getAttribute("src")
// if (remoteMainScript != localMainScript) {
// console.log('refresh')
// location.reload()
// }
// })
</script>
<!-- <script src="node_modules/eruda/eruda.js"></script>
<script>eruda.init();</script> -->
</html>
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化