Lines of
single_doc/README.html
from check-in 9cfaf58424
that are changed by the sequence of edits moving toward
check-in 5275affb8e:
1: <!DOCTYPE html>
9cfaf58424 2023-07-05 2: <html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
3: <head>
4: <meta charset="utf-8" />
5: <meta name="generator" content="pandoc" />
6: <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
7: <title>README</title>
8: <style>
9cfaf58424 2023-07-05 9: code{white-space: pre-wrap;}
9cfaf58424 2023-07-05 10: span.smallcaps{font-variant: small-caps;}
9cfaf58424 2023-07-05 11: div.columns{display: flex; gap: min(4vw, 1.5em);}
9cfaf58424 2023-07-05 12: div.column{flex: auto; overflow-x: auto;}
9cfaf58424 2023-07-05 13: div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
9cfaf58424 2023-07-05 14: /* The extra [class] is a hack that increases specificity enough to
9cfaf58424 2023-07-05 15: override a similar rule in reveal.js */
9cfaf58424 2023-07-05 16: ul.task-list[class]{list-style: none;}
9cfaf58424 2023-07-05 17: ul.task-list li input[type="checkbox"] {
9cfaf58424 2023-07-05 18: font-size: inherit;
9cfaf58424 2023-07-05 19: width: 0.8em;
9cfaf58424 2023-07-05 20: margin: 0 0.8em 0.2em -1.6em;
9cfaf58424 2023-07-05 21: vertical-align: middle;
9cfaf58424 2023-07-05 22: }
9cfaf58424 2023-07-05 23: .display.math{display: block; text-align: center; margin: 0.5rem auto;}
9cfaf58424 2023-07-05 24: </style>
9cfaf58424 2023-07-05 25: <link rel="stylesheet" href="D:\user\wscite\user/嵌入式.css" />
26: <!--[if lt IE 9]>
27: <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
28: <![endif]-->
29: </head>
30: <body>
31: <div class="title">
32: 游戏王残局简化版
33: </div>
34: <p>游戏王残局简化版，随缘更新。</p>
9cfaf58424 2023-07-05 35: <p>简化方法见<a href="残局简化方法.md">残局简化方</a>。</p>
9cfaf58424 2023-07-05 36: <p><b>☞ 以下内容不够重要，可以忽略</b> <a
9cfaf58424 2023-07-05 37: href="http://chiselapp.com/user/kkk/repository/canju">1</a></p>
38: <script>
39:
40: document.onmouseup = function(event) {
41: var 元素 = event.target
42:
43: if (元素.tagName == "PRE"
44: || 元素.tagName == "CODE") {
45: var 文本 = 元素.textContent
46: navigator.clipboard.writeText(文本)
47: }
48:
49: }
50:
51: document.addEventListener('touchend', function(event) {
52: var target = event.target;
53: if (target.tagName == "PRE" || target.tagName == "CODE") {
54: var range = document.createRange();
55: range.selectNodeContents(target);
56: window.getSelection().removeAllRanges();
57: window.getSelection().addRange(range);
58: var successful = document.execCommand('copy');
59: target.removeAttribute('contenteditable');
60: window.getSelection().removeAllRanges();
61: }
62: });
63:
64:
65:
66: </script>
67: </body>
68: </html>