Lines of
single_doc/README.html
from check-in 5275affb8e
that are changed by the sequence of edits moving toward
check-in 47cc47de9d:
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:
15: ul.task-list[class]{list-style: none;}
16: ul.task-list li input[type="checkbox"] {
17: font-size: inherit;
18: width: 0.8em;
19: margin: 0 0.8em 0.2em -1.6em;
20: vertical-align: middle;
21: }
22: .display.math{display: block; text-align: center; margin: 0.5rem auto;}
23: </style>
24: <style type="text/css">
25: @media screen and (min-aspect-ratio:1/1) {
26: html {
27: background-color: f8f8f8;
28: background-image:
29: linear-gradient(
30: 45deg,
31: #eee 25%,
32: transparent 25%,
33: transparent 75%,
34: #eee 75%),
35: linear-gradient(
36: 45deg,
37: #eee 25%,
38: transparent 25%,
39: transparent 75%,
40: #eee 75%);
41: background-size: 8px 8px;
42: background-position: 0 0, 16px 8px;
43: }
44: body {
45: border: solid #a0a0a0 1px ;
46: border-radius: 20px ;
47: padding: 26px ;
48: margin: 16px ;
49: color: #101010 ;
50: background-color: #efefef;
51: padding: 2em 18%;
52: }
53: }
54: h1,h2,h3,h4,h5,h6 {
55: font-size: 1.5em;
56: color: #3F5770;
57: border-bottom: 0.1em solid #666666;
58: margin: 1.2em 0em;
59: }
60: a {
61: background-color: white;
62: text-decoration-color: blue;
63: }
64: a:visited {
65: color: blue;
66: text-decoration-color: white;
67: }
68: nav ul li {
69: margin: 1.2em 0em;
70: }
71: p::before {
72: content: " ";
73: }
74: p {
75: margin: 1.2em 0;
76: }
77: .title {
78: background-color: white;
79: font-size: 2em;
80: text-align: center;
81: }
82: b {
83: background-color: white;
84: }
85: a {
86: target: _blank;
87: }
88: </style>
89: <!--[if lt IE 9]>
90: <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
91: <![endif]-->
92: </head>
93: <body>
94: <div class="title">
95: 游戏王残局简化版
96: </div>
5275affb8e 2023-07-05 97: <p>游戏王残局简化版,随缘更新。</p>
98: <p><b>☞ 以下内容不够重要,可以忽略</b></p>
99: <p>http://chiselapp.com/user/kkk/repository/canju</p>
100: <script>
101:
102: document.onmouseup = function(event) {
103: var 元素 = event.target
104:
105: if (元素.tagName == "PRE"
106: || 元素.tagName == "CODE") {
107: var 文本 = 元素.textContent
108: navigator.clipboard.writeText(文本)
109: }
110:
111: }
112:
113: document.addEventListener('touchend', function(event) {
114: var target = event.target;
115: if (target.tagName == "PRE" || target.tagName == "CODE") {
116: var range = document.createRange();
117: range.selectNodeContents(target);
118: window.getSelection().removeAllRanges();
119: window.getSelection().addRange(range);
120: var successful = document.execCommand('copy');
121: target.removeAttribute('contenteditable');
122: window.getSelection().removeAllRanges();
123: }
124: });
125:
126:
127:
128: </script>
129: </body>
130: </html>