Lines of
single_doc/README.html
from check-in f4afc68cf4
that are changed by the sequence of edits moving toward
check-in 9cfaf58424:
1: <!DOCTYPE html>
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>
9: code{white-space: pre-wrap;}
10: span.smallcaps{font-variant: small-caps;}
11: div.columns{display: flex; gap: min(4vw, 1.5em);}
12: div.column{flex: auto; overflow-x: auto;}
13: div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
14: /* The extra [class] is a hack that increases specificity enough to
15: override a similar rule in reveal.js */
16: ul.task-list[class]{list-style: none;}
17: ul.task-list li input[type="checkbox"] {
18: font-size: inherit;
19: width: 0.8em;
20: margin: 0 0.8em 0.2em -1.6em;
21: vertical-align: middle;
22: }
23: .display.math{display: block; text-align: center; margin: 0.5rem auto;}
24: </style>
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>
35: <p>简化方法见<a href="残局简化方法.md">残局简化方</a>。</p>
f4afc68cf4 2023-07-05 36: <p><b>☞ 以下内容不够重要，可以忽略</b></p>
37: <script>
38:
39: document.onmouseup = function(event) {
40: var 元素 = event.target
41:
42: if (元素.tagName == "PRE"
43: || 元素.tagName == "CODE") {
44: var 文本 = 元素.textContent
45: navigator.clipboard.writeText(文本)
46: }
47:
48: }
49:
50: document.addEventListener('touchend', function(event) {
51: var target = event.target;
52: if (target.tagName == "PRE" || target.tagName == "CODE") {
53: var range = document.createRange();
54: range.selectNodeContents(target);
55: window.getSelection().removeAllRanges();
56: window.getSelection().addRange(range);
57: var successful = document.execCommand('copy');
58: target.removeAttribute('contenteditable');
59: window.getSelection().removeAllRanges();
60: }
61: });
62:
63:
64:
65: </script>
66: </body>
67: </html>