557 lines
18 KiB
HTML
557 lines
18 KiB
HTML
|
|
|
|
<!DOCTYPE html>
|
|
<html class="writer-html5" lang="zh" data-content_root="./">
|
|
<head>
|
|
<meta charset="utf-8" />
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
|
|
<title>搜索 — Class Boru 文档</title>
|
|
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
|
|
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=9edc463e" />
|
|
<link rel="stylesheet" type="text/css" href="_static/plot_directive.css" />
|
|
|
|
|
|
|
|
<script src="_static/jquery.js?v=5d32c60e"></script>
|
|
<script src="_static/_sphinx_javascript_frameworks_compat.js?v=2cd50e6c"></script>
|
|
<script src="_static/documentation_options.js?v=2ccfc426"></script>
|
|
<script src="_static/doctools.js?v=9bcbadda"></script>
|
|
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
|
|
<script src="https://cdn.jsdelivr.net/npm/d3@7.9.0/dist/d3.min.js"></script>
|
|
<script type="module">import mermaid from "https://cdn.jsdelivr.net/npm/mermaid@11.12.1/dist/mermaid.esm.min.mjs";
|
|
|
|
|
|
|
|
|
|
|
|
const initStyles = () => {
|
|
const defaultStyle = document.createElement('style');
|
|
defaultStyle.textContent = `pre.mermaid {
|
|
/* Same as .mermaid-container > pre */
|
|
display: block;
|
|
width: 100%;
|
|
}
|
|
|
|
pre.mermaid > svg {
|
|
/* Same as .mermaid-container > pre > svg */
|
|
height: 500px;
|
|
width: 100%;
|
|
max-width: 100% !important;
|
|
}`;
|
|
document.head.appendChild(defaultStyle);
|
|
|
|
const fullscreenStyle = document.createElement('style');
|
|
fullscreenStyle.textContent = `.mermaid-container {
|
|
display: flex;
|
|
flex-direction: row;
|
|
width: 100%;
|
|
}
|
|
|
|
.mermaid-container > pre {
|
|
display: block;
|
|
width: 100%;
|
|
}
|
|
|
|
.mermaid-container > pre > svg {
|
|
height: 500px;
|
|
width: 100%;
|
|
max-width: 100% !important;
|
|
}
|
|
|
|
.mermaid-fullscreen-btn {
|
|
width: 28px;
|
|
height: 28px;
|
|
background: rgba(255, 255, 255, 0.95);
|
|
border: 1px solid rgba(0, 0, 0, 0.3);
|
|
border-radius: 4px;
|
|
cursor: pointer;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
transition: all 0.2s;
|
|
box-shadow: 0 2px 6px rgba(0, 0, 0, 0.2);
|
|
font-size: 14px;
|
|
line-height: 1;
|
|
padding: 0;
|
|
color: #333;
|
|
}
|
|
|
|
.mermaid-fullscreen-btn:hover {
|
|
opacity: 100% !important;
|
|
background: rgba(255, 255, 255, 1);
|
|
box-shadow: 0 3px 10px rgba(0, 0, 0, 0.3);
|
|
transform: scale(1.1);
|
|
}
|
|
|
|
.mermaid-fullscreen-btn.dark-theme {
|
|
background: rgba(50, 50, 50, 0.95);
|
|
border: 1px solid rgba(255, 255, 255, 0.3);
|
|
color: #e0e0e0;
|
|
}
|
|
|
|
.mermaid-fullscreen-btn.dark-theme:hover {
|
|
background: rgba(60, 60, 60, 1);
|
|
box-shadow: 0 3px 10px rgba(255, 255, 255, 0.2);
|
|
}
|
|
|
|
.mermaid-fullscreen-modal {
|
|
display: none;
|
|
position: fixed !important;
|
|
top: 0 !important;
|
|
left: 0 !important;
|
|
width: 95vw;
|
|
height: 100vh;
|
|
background: rgba(255, 255, 255, 0.98);
|
|
z-index: 9999;
|
|
padding: 20px;
|
|
overflow: auto;
|
|
}
|
|
|
|
.mermaid-fullscreen-modal.dark-theme {
|
|
background: rgba(0, 0, 0, 0.98);
|
|
}
|
|
|
|
.mermaid-fullscreen-modal.active {
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
}
|
|
|
|
.mermaid-container-fullscreen {
|
|
position: relative;
|
|
width: 95vw;
|
|
height: 90vh;
|
|
max-width: 95vw;
|
|
max-height: 90vh;
|
|
background: white;
|
|
border-radius: 8px;
|
|
padding: 20px;
|
|
box-shadow: 0 10px 40px rgba(0, 0, 0, 0.3);
|
|
overflow: auto;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
}
|
|
|
|
.mermaid-container-fullscreen.dark-theme {
|
|
background: #1a1a1a;
|
|
box-shadow: 0 10px 40px rgba(0, 0, 0, 0.8);
|
|
}
|
|
|
|
.mermaid-container-fullscreen pre.mermaid {
|
|
width: 100%;
|
|
height: 100%;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
}
|
|
|
|
.mermaid-container-fullscreen .mermaid svg {
|
|
height: 100% !important;
|
|
width: 100% !important;
|
|
cursor: grab;
|
|
}
|
|
|
|
.mermaid-fullscreen-close {
|
|
position: fixed !important;
|
|
top: 20px !important;
|
|
right: 20px !important;
|
|
width: 40px;
|
|
height: 40px;
|
|
background: rgba(255, 255, 255, 0.95);
|
|
border: 1px solid rgba(0, 0, 0, 0.2);
|
|
border-radius: 50%;
|
|
cursor: pointer;
|
|
z-index: 10000;
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
|
|
transition: all 0.2s;
|
|
font-size: 24px;
|
|
line-height: 1;
|
|
color: #333;
|
|
}
|
|
|
|
.mermaid-fullscreen-close:hover {
|
|
background: white;
|
|
box-shadow: 0 6px 16px rgba(0, 0, 0, 0.4);
|
|
transform: scale(1.1);
|
|
}
|
|
|
|
.mermaid-fullscreen-close.dark-theme {
|
|
background: rgba(50, 50, 50, 0.95);
|
|
border: 1px solid rgba(255, 255, 255, 0.2);
|
|
color: #e0e0e0;
|
|
}
|
|
|
|
.mermaid-fullscreen-close.dark-theme:hover {
|
|
background: rgba(60, 60, 60, 1);
|
|
box-shadow: 0 6px 16px rgba(255, 255, 255, 0.2);
|
|
}
|
|
|
|
.mermaid-fullscreen-modal .mermaid-fullscreen-btn {
|
|
display: none !important;
|
|
}`;
|
|
document.head.appendChild(fullscreenStyle);
|
|
}
|
|
|
|
// Detect if page has dark background
|
|
const isDarkTheme = () => {
|
|
// We use a set of heuristics:
|
|
// 1. Check for common dark mode classes or attributes
|
|
// 2. Check computed background color brightness
|
|
if (document.documentElement.classList.contains('dark') ||
|
|
document.documentElement.getAttribute('data-theme') === 'dark' ||
|
|
document.body.classList.contains('dark') ||
|
|
document.body.getAttribute('data-theme') === 'dark') {
|
|
// console.log("Dark theme detected via class/attribute");
|
|
return true;
|
|
}
|
|
if (document.documentElement.classList.contains('light') ||
|
|
document.documentElement.getAttribute('data-theme') === 'light' ||
|
|
document.body.classList.contains('light') ||
|
|
document.body.getAttribute('data-theme') === 'light') {
|
|
// console.log("Light theme detected via class/attribute");
|
|
return false;
|
|
}
|
|
if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches) {
|
|
// console.log("Dark theme detected via prefers-color-scheme");
|
|
return true;
|
|
}
|
|
const bgColor = window.getComputedStyle(document.body).backgroundColor;
|
|
const match = bgColor.match(/rgb\((\d+),\s*(\d+),\s*(\d+)/);
|
|
if (match) {
|
|
const r = parseInt(match[1]);
|
|
const g = parseInt(match[2]);
|
|
const b = parseInt(match[3]);
|
|
const brightness = (r * 299 + g * 587 + b * 114) / 1000;
|
|
// console.log("Background color brightness:", brightness);
|
|
return brightness < 128;
|
|
}
|
|
// console.log("No dark or light theme detected, defaulting to light theme");
|
|
return false;
|
|
};
|
|
|
|
let darkTheme = isDarkTheme();
|
|
let modal = null;
|
|
let modalContent = null;
|
|
let previousScrollOffset = [window.scrollX, window.scrollY];
|
|
|
|
const runMermaid = async (rerun) => {
|
|
console.log("Running mermaid diagrams, rerun =", rerun);
|
|
// clear all existing mermaid charts
|
|
let all_mermaids = document.querySelectorAll(".mermaid");
|
|
|
|
if (rerun) {
|
|
all_mermaids.forEach((el) => {
|
|
if(!el.hasAttribute("data-original-code")) {
|
|
// store original code
|
|
// console.log(`Storing original code for first run: `, el.innerHTML);
|
|
el.setAttribute('data-original-code', el.innerHTML);
|
|
}
|
|
if(el.getAttribute("data-processed") === "true") {
|
|
// remove and restore original
|
|
el.removeAttribute("data-processed");
|
|
// console.log(`Restoring original code for re-run: `, el.getAttribute('data-original-code'));
|
|
el.innerHTML = el.getAttribute('data-original-code');
|
|
} else {
|
|
// store original code
|
|
// console.log(`Storing original code for re-run: `, el.innerHTML);
|
|
el.setAttribute('data-original-code', el.innerHTML);
|
|
}
|
|
});
|
|
await mermaid.run();
|
|
}
|
|
|
|
all_mermaids = document.querySelectorAll(".mermaid");
|
|
const mermaids_processed = document.querySelectorAll(".mermaid[data-processed='true']");
|
|
|
|
if ("False" === "True") {
|
|
const mermaids_to_add_zoom = -1 === -1 ? all_mermaids.length : -1;
|
|
if(mermaids_to_add_zoom > 0) {
|
|
var svgs = d3.selectAll("");
|
|
if(all_mermaids.length !== mermaids_processed.length) {
|
|
setTimeout(() => runMermaid(false), 200);
|
|
return;
|
|
} else if(svgs.size() !== mermaids_to_add_zoom) {
|
|
setTimeout(() => runMermaid(false), 200);
|
|
return;
|
|
} else {
|
|
svgs.each(function() {
|
|
var svg = d3.select(this);
|
|
svg.html("<g class='wrapper'>" + svg.html() + "</g>");
|
|
var inner = svg.select("g");
|
|
var zoom = d3.zoom().on("zoom", function(event) {
|
|
inner.attr("transform", event.transform);
|
|
});
|
|
svg.call(zoom);
|
|
});
|
|
}
|
|
}
|
|
} else if(all_mermaids.length !== mermaids_processed.length) {
|
|
// Wait for mermaid to process all diagrams
|
|
setTimeout(() => runMermaid(false), 200);
|
|
return;
|
|
}
|
|
|
|
// Stop here if not adding fullscreen capability
|
|
if ("True" !== "True") return;
|
|
|
|
if (modal !== null ) {
|
|
// Destroy existing modal
|
|
modal.remove();
|
|
modal = null;
|
|
modalContent = null;
|
|
}
|
|
|
|
modal = document.createElement('div');
|
|
modal.className = 'mermaid-fullscreen-modal' + (darkTheme ? ' dark-theme' : '');
|
|
modal.setAttribute('role', 'dialog');
|
|
modal.setAttribute('aria-modal', 'true');
|
|
modal.setAttribute('aria-label', 'Fullscreen diagram viewer');
|
|
modal.innerHTML = `
|
|
<button class="mermaid-fullscreen-close${darkTheme ? ' dark-theme' : ''}" aria-label="Close fullscreen">✕</button>
|
|
<div class="mermaid-container-fullscreen${darkTheme ? ' dark-theme' : ''}"></div>
|
|
`;
|
|
document.body.appendChild(modal);
|
|
|
|
modalContent = modal.querySelector('.mermaid-container-fullscreen');
|
|
const closeBtn = modal.querySelector('.mermaid-fullscreen-close');
|
|
|
|
const closeModal = () => {
|
|
modal.classList.remove('active');
|
|
modalContent.innerHTML = '';
|
|
document.body.style.overflow = ''
|
|
window.scrollTo({left: previousScrollOffset[0], top: previousScrollOffset[1], behavior: 'instant'});
|
|
};
|
|
|
|
closeBtn.addEventListener('click', closeModal);
|
|
modal.addEventListener('click', (e) => {
|
|
if (e.target === modal) closeModal();
|
|
});
|
|
document.addEventListener('keydown', (e) => {
|
|
if (e.key === 'Escape' && modal.classList.contains('active')) {
|
|
closeModal();
|
|
}
|
|
});
|
|
|
|
document.querySelectorAll('.mermaid').forEach((mermaidDiv) => {
|
|
if (mermaidDiv.parentNode.classList.contains('mermaid-container') ||
|
|
mermaidDiv.closest('.mermaid-fullscreen-modal')) {
|
|
// Already processed, adjust button class if needed
|
|
const existingBtn = mermaidDiv.parentNode.querySelector('.mermaid-fullscreen-btn');
|
|
if (existingBtn) {
|
|
existingBtn.className = 'mermaid-fullscreen-btn' + (darkTheme ? ' dark-theme' : '');
|
|
}
|
|
return;
|
|
}
|
|
|
|
const container = document.createElement('div');
|
|
container.className = 'mermaid-container';
|
|
mermaidDiv.parentNode.insertBefore(container, mermaidDiv);
|
|
container.appendChild(mermaidDiv);
|
|
|
|
const fullscreenBtn = document.createElement('button');
|
|
fullscreenBtn.className = 'mermaid-fullscreen-btn' + (darkTheme ? ' dark-theme' : '');
|
|
fullscreenBtn.setAttribute('aria-label', 'View diagram in fullscreen');
|
|
fullscreenBtn.textContent = '⛶';
|
|
fullscreenBtn.style.opacity = '50%';
|
|
|
|
// Calculate dynamic position based on diagram's margin and padding
|
|
const diagramStyle = window.getComputedStyle(mermaidDiv);
|
|
const marginTop = parseFloat(diagramStyle.marginTop) || 0;
|
|
const marginRight = parseFloat(diagramStyle.marginRight) || 0;
|
|
const paddingTop = parseFloat(diagramStyle.paddingTop) || 0;
|
|
const paddingRight = parseFloat(diagramStyle.paddingRight) || 0;
|
|
fullscreenBtn.style.top = `${marginTop + paddingTop + 4}px`;
|
|
fullscreenBtn.style.right = `${marginRight + paddingRight + 4}px`;
|
|
|
|
fullscreenBtn.addEventListener('click', () => {
|
|
previousScrollOffset = [window.scroll, window.scrollY];
|
|
const clone = mermaidDiv.cloneNode(true);
|
|
modalContent.innerHTML = '';
|
|
modalContent.appendChild(clone);
|
|
|
|
const svg = clone.querySelector('svg');
|
|
if (svg) {
|
|
svg.removeAttribute('width');
|
|
svg.removeAttribute('height');
|
|
svg.style.width = '100%';
|
|
svg.style.height = 'auto';
|
|
svg.style.maxWidth = '100%';
|
|
svg.style.sdisplay = 'block';
|
|
|
|
if ("False" === "True") {
|
|
setTimeout(() => {
|
|
const g = svg.querySelector('g');
|
|
if (g) {
|
|
var svgD3 = d3.select(svg);
|
|
svgD3.html("<g class='wrapper'>" + svgD3.html() + "</g>");
|
|
var inner = svgD3.select("g");
|
|
var zoom = d3.zoom().on("zoom", function(event) {
|
|
inner.attr("transform", event.transform);
|
|
});
|
|
svgD3.call(zoom);
|
|
}
|
|
}, 100);
|
|
}
|
|
}
|
|
|
|
modal.classList.add('active');
|
|
document.body.style.overflow = 'hidden';
|
|
});
|
|
container.appendChild(fullscreenBtn);
|
|
});
|
|
};
|
|
|
|
const load = async () => {
|
|
initStyles();
|
|
|
|
await runMermaid(true);
|
|
|
|
const reRunIfThemeChanges = async () => {
|
|
const newDarkTheme = isDarkTheme();
|
|
if (newDarkTheme !== darkTheme) {
|
|
darkTheme = newDarkTheme;
|
|
console.log("Theme change detected, re-running mermaid with", darkTheme ? "dark" : "default", "theme");
|
|
await mermaid.initialize(
|
|
{...JSON.parse(
|
|
`{"startOnLoad": false}`
|
|
),
|
|
...{ darkMode: darkTheme, theme: darkTheme ? 'dark' : 'default' },
|
|
}
|
|
);
|
|
await runMermaid(true);
|
|
}
|
|
};
|
|
|
|
// Update theme classes when theme changes
|
|
const themeObserver = new MutationObserver(reRunIfThemeChanges);
|
|
themeObserver.observe(document.documentElement, {
|
|
attributes: true,
|
|
attributeFilter: ['class', 'style', 'data-theme']
|
|
});
|
|
themeObserver.observe(document.body, {
|
|
attributes: true,
|
|
attributeFilter: ['class', 'style', 'data-theme']
|
|
});
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
console.log("Initializing mermaid with", darkTheme ? "dark" : "default", "theme");
|
|
mermaid.initialize(
|
|
{...JSON.parse(
|
|
`{"startOnLoad": false}`
|
|
),
|
|
...{ darkMode: darkTheme, theme: darkTheme ? 'dark' : 'default' },
|
|
}
|
|
);
|
|
|
|
window.addEventListener("load", load);</script>
|
|
<script src="_static/js/theme.js"></script>
|
|
<script src="_static/searchtools.js"></script>
|
|
<script src="_static/language_data.js"></script>
|
|
<link rel="index" title="索引" href="genindex.html" />
|
|
<link rel="search" title="搜索" href="#" />
|
|
</head>
|
|
|
|
<body class="wy-body-for-nav">
|
|
<div class="wy-grid-for-nav">
|
|
<nav data-toggle="wy-nav-shift" class="wy-nav-side">
|
|
<div class="wy-side-scroll">
|
|
<div class="wy-side-nav-search" >
|
|
|
|
|
|
|
|
<a href="index.html" class="icon icon-home">
|
|
Class Boru
|
|
</a>
|
|
<div role="search">
|
|
<form id="rtd-search-form" class="wy-form" action="#" method="get">
|
|
<input type="text" name="q" placeholder="搜索文档" aria-label="搜索文档" />
|
|
<input type="hidden" name="check_keywords" value="yes" />
|
|
<input type="hidden" name="area" value="default" />
|
|
</form>
|
|
</div>
|
|
</div><div class="wy-menu wy-menu-vertical" data-spy="affix" role="navigation" aria-label="导航菜单">
|
|
<p class="caption" role="heading"><span class="caption-text">Contents:</span></p>
|
|
<ul>
|
|
<li class="toctree-l1"><a class="reference internal" href="chiken_rabbit.html">鸡兔同笼问题</a></li>
|
|
<li class="toctree-l1"><a class="reference internal" href="gcd_lcm.html">最大公约数与最小公倍数</a></li>
|
|
</ul>
|
|
|
|
</div>
|
|
</div>
|
|
</nav>
|
|
|
|
<section data-toggle="wy-nav-shift" class="wy-nav-content-wrap"><nav class="wy-nav-top" aria-label="移动版导航菜单" >
|
|
<i data-toggle="wy-nav-top" class="fa fa-bars"></i>
|
|
<a href="index.html">Class Boru</a>
|
|
</nav>
|
|
|
|
<div class="wy-nav-content">
|
|
<div class="rst-content">
|
|
<div role="navigation" aria-label="页面导航">
|
|
<ul class="wy-breadcrumbs">
|
|
<li><a href="index.html" class="icon icon-home" aria-label="Home"></a></li>
|
|
<li class="breadcrumb-item active">搜索</li>
|
|
<li class="wy-breadcrumbs-aside">
|
|
</li>
|
|
</ul>
|
|
<hr/>
|
|
</div>
|
|
<div role="main" class="document" itemscope="itemscope" itemtype="http://schema.org/Article">
|
|
<div itemprop="articleBody">
|
|
|
|
<noscript>
|
|
<div id="fallback" class="admonition warning">
|
|
<p class="last">
|
|
请启用 JavaScript 以便使用搜索功能
|
|
</p>
|
|
</div>
|
|
</noscript>
|
|
|
|
|
|
<div id="search-results">
|
|
|
|
</div>
|
|
|
|
</div>
|
|
</div>
|
|
<footer>
|
|
|
|
<hr/>
|
|
|
|
<div role="contentinfo">
|
|
<p>© 版权所有 2026, Milse Sui。</p>
|
|
</div>
|
|
|
|
利用 <a href="https://www.sphinx-doc.org/">Sphinx</a> 构建，使用的
|
|
<a href="https://github.com/readthedocs/sphinx_rtd_theme">主题</a>
|
|
由 <a href="https://readthedocs.org">Read the Docs</a> 开发.
|
|
|
|
|
|
</footer>
|
|
</div>
|
|
</div>
|
|
</section>
|
|
</div>
|
|
<script>
|
|
jQuery(function () {
|
|
SphinxRtdTheme.Navigation.enable(true);
|
|
});
|
|
</script>
|
|
<script>
|
|
jQuery(function() { Search.loadIndex("searchindex.js"); });
|
|
</script>
|
|
|
|
<script id="searchindexloader"></script>
|
|
|
|
|
|
|
|
</body>
|
|
</html> |