2026-04-07 23:22:48 +08:00
|
|
|
<!doctype html>
|
|
|
|
|
<html lang="en">
|
|
|
|
|
|
|
|
|
|
<head>
|
|
|
|
|
<meta charset="utf-8" />
|
|
|
|
|
<meta http-equiv="x-ua-compatible" content="ie=edge" />
|
|
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1" />
|
|
|
|
|
<meta name="googlebot" content="noindex" />
|
|
|
|
|
<title>$title$</title>
|
|
|
|
|
<link rel="stylesheet" href="/css/fonts.css" />
|
|
|
|
|
<link rel="stylesheet" href="/css/default.css" />
|
|
|
|
|
<link rel="stylesheet" href="/css/pygentize.css" />
|
|
|
|
|
<link rel="stylesheet" href="/css/chao-theorems.css" />
|
|
|
|
|
<link rel="stylesheet" href="/css/sidenotes.css" />
|
|
|
|
|
</head>
|
|
|
|
|
|
|
|
|
|
<body>
|
|
|
|
|
<div class="toc">
|
|
|
|
|
<div id="contents-big">
|
|
|
|
|
<a href="#">
|
|
|
|
|
<p class="mini-header">Contents</p>
|
|
|
|
|
</a>
|
|
|
|
|
$toc$
|
|
|
|
|
</div>
|
|
|
|
|
</div>
|
|
|
|
|
<div class="text-space">
|
|
|
|
|
<header class="no-print">
|
2026-04-09 00:07:51 +08:00
|
|
|
<a href="/">/</a>
|
|
|
|
|
$title$
|
2026-04-07 23:22:48 +08:00
|
|
|
</header>
|
|
|
|
|
<main role="main">
|
2026-04-09 00:07:51 +08:00
|
|
|
<article>
|
|
|
|
|
<section class="body">
|
|
|
|
|
$body$
|
|
|
|
|
</section>
|
|
|
|
|
</article>
|
2026-04-07 23:22:48 +08:00
|
|
|
</main>
|
|
|
|
|
<footer></footer>
|
|
|
|
|
</div>
|
|
|
|
|
</body>
|
|
|
|
|
|
|
|
|
|
</html>
|
