diff options
| author | 魏曹先生 <1992414357@qq.com> | 2026-08-19 05:54:00 +0800 |
|---|---|---|
| committer | 魏曹先生 <1992414357@qq.com> | 2026-08-19 06:15:20 +0800 |
| commit | ec9edc294fd5e7e29977fc7b0e6fb953422bc0e2 (patch) | |
| tree | bbf89ef4457b8de8a8a9bca5668045d612d27572 /docs/index.html | |
| parent | 06dfc27194c11e1d1033c292c759a1c5d82e780b (diff) | |
Move CI, dev tools, and configs from root-level scattered locations into
a
unified `dev/` directory structure. Update all references across build
scripts, documentation, and editor configurations.
Also consolidate editor config generation into build.rs for automated
synchronization of rust-analyzer settings across VS Code and Zed.
Diffstat (limited to 'docs/index.html')
| -rw-r--r-- | docs/index.html | 111 |
1 files changed, 111 insertions, 0 deletions
diff --git a/docs/index.html b/docs/index.html new file mode 100644 index 0000000..a63fdd3 --- /dev/null +++ b/docs/index.html @@ -0,0 +1,111 @@ +<!doctype html> +<html lang="en"> + <head> + <meta charset="utf-8" /> + <meta + name="viewport" + content="width=device-width, initial-scale=1, minimum-scale=1.0, shrink-to-fit=no, viewport-fit=cover" + /> + + <title>Mingling Helpdoc</title> + <meta + name="Mingling Helpdoc" + content="Quick start with Mingling and build your command-line program!" + /> + + <link rel="preconnect" href="https://fonts.googleapis.com" /> + <link rel="icon" type="image/png" href="res/favicon_small.png" /> + <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin /> + <link + href="https://fonts.googleapis.com/css2?family=Noto+Serif+SC:wght@400;600;700&family=JetBrains+Mono:wght@400;600&display=swap" + rel="stylesheet" + /> + + <link rel="stylesheet" href="css/light.css" /> + <link id="dark-style" rel="stylesheet" href="css/dark.css" disabled /> + <link rel="stylesheet" href="css/doc-nav.css" /> + </head> + + <body> + <nav> + <a + href="#" + onclick=" + toggleTheme(); + return false; + " + >🌗 Theme</a + > + <a href="_zh_CN/index.html"><b>🇨🇳 CN Docs</b></a> + </nav> + <div id="app"></div> + + <script> + window.$docsify = { + name: "Mingling Helpdoc", + repo: "true", + corner: { + url: "https://github.com/mingling-rs/mingling", + icon: "github", + }, + auto2top: true, + loadSidebar: true, + maxLevel: 0, + subMaxLevel: 0, + search: { + placeholder: "Search", + noData: "No matches found.", + depth: 2, + }, + plugins: [ + function (hook) { + hook.beforeEach(function (content) { + return content + .split("\n") + .filter(function (line) { + return !line.startsWith("@@@"); + }) + .join("\n"); + }); + }, + [ + "flexible-alerts", + { + style: "flat", + labels: { + NOTE: "Note", + TIP: "Tip", + IMPORTANT: "Important", + WARNING: "Warning", + CAUTION: "Caution", + }, + }, + ], + ], + }; + </script> + + <!--<script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/docsify.min.js"></script>--> + <script src="scripts/docsify.min.js"></script> + + <!--<script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/plugins/zoom-image.min.js"></script> + <script src="https://cdn.jsdelivr.net/npm/docsify@4/lib/plugins/search.js"></script> + <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-bash.min.js"></script> + <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-toml.min.js"></script> + <script src="https://cdn.jsdelivr.net/npm/prismjs@1/components/prism-rust.js"></script> + <script src="https://cdn.jsdelivr.net/npm/docsify-corner/dist/docsify-corner.js"></script> + <script src="https://unpkg.com/docsify-plugin-flexible-alerts"></script>--> + <script src="scripts/zoom-image.min.js"></script> + <script src="scripts/search.js"></script> + <script src="scripts/prism-bash.min.js"></script> + <script src="scripts/prism-toml.min.js"></script> + <script src="scripts/prism-rust.js"></script> + <script src="scripts/docsify-corner.js"></script> + <script src="scripts/docsify-plugin-flexible-alerts.js"></script> + <script src="scripts/docsify-plugin-prevnext.js"></script> + <script src="scripts/mermaid.min.js"></script> + <script src="scripts/docsify-mermaid.js"></script> + + <script src="scripts/day-night-switch.js"></script> + </body> +</html> |