游戏王残局简化版

Annotation For single_doc/二解.html
Login

Annotation For single_doc/二解.html

Lines of single_doc/二解.html from check-in 58903a14a7 that are changed by the sequence of edits moving toward check-in 6c44b5f5c1:

                         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>二解</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;
58903a14a7 2023-07-05   84: }
58903a14a7 2023-07-05   85: a {
58903a14a7 2023-07-05   86: target: _blank;
                        87: }
                        88: details > summary {
                        89: list-style: none;
                        90: border-right: 0.3em solid #5183C466;
                        91: border-left: 0.3em solid #5183C466;
                        92: padding: 0.2em 0.4em;
                        93: margin-bottom: 0.2em;
                        94: margin-top: 0.3em;
                        95: }
                        96: </style>
                        97:   <!--[if lt IE 9]>
                        98:     <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
                        99:   <![endif]-->
                       100: </head>
                       101: <body>
58903a14a7 2023-07-05  102: <div class="title">
58903a14a7 2023-07-05  103: 二解
58903a14a7 2023-07-05  104: </div>
                       105: <p>「二解」指超越了原残局作者设定血量的解局方法。</p>
                       106: <p>一般情况下,残局设定血量就是目前最优解的解局血量。</p>
                       107: <p>如果出现了二解,就表明残局设定血量<b>需要更改</b>了。</p>
                       108: <script>
                       109: 
58903a14a7 2023-07-05  110: document.onmouseup = function(event) {
58903a14a7 2023-07-05  111:   var 元素 = event.target
58903a14a7 2023-07-05  112: 
58903a14a7 2023-07-05  113:   if (元素.tagName == "PRE"
58903a14a7 2023-07-05  114:   || 元素.tagName == "CODE") {
58903a14a7 2023-07-05  115:     var 文本 = 元素.textContent
58903a14a7 2023-07-05  116:     navigator.clipboard.writeText(文本)
58903a14a7 2023-07-05  117:   }
58903a14a7 2023-07-05  118: 
58903a14a7 2023-07-05  119: }
58903a14a7 2023-07-05  120: 
58903a14a7 2023-07-05  121: document.addEventListener('touchend', function(event) {
58903a14a7 2023-07-05  122:   var target = event.target;
58903a14a7 2023-07-05  123:   if (target.tagName == "PRE" || target.tagName == "CODE") {
                       124:     var range = document.createRange();
                       125:     range.selectNodeContents(target);
                       126:     window.getSelection().removeAllRanges();
                       127:     window.getSelection().addRange(range);
58903a14a7 2023-07-05  128:     var successful = document.execCommand('copy');
58903a14a7 2023-07-05  129:     target.removeAttribute('contenteditable');
58903a14a7 2023-07-05  130:     window.getSelection().removeAllRanges();
58903a14a7 2023-07-05  131:   }
58903a14a7 2023-07-05  132: });
58903a14a7 2023-07-05  133: 
58903a14a7 2023-07-05  134: 
                       135: 
                       136: </script>
                       137: </body>
                       138: </html>