pre code.hljs{padding:1em;display:block;overflow-x:auto}code.hljs{padding:3px 5px}.hljs{color:#abb2bf;background:#282c34}.hljs-comment,.hljs-quote{color:#5c6370;font-style:italic}.hljs-doctag,.hljs-keyword,.hljs-formula{color:#c678dd}.hljs-section,.hljs-name,.hljs-selector-tag,.hljs-deletion,.hljs-subst{color:#e06c75}.hljs-literal{color:#56b6c2}.hljs-string,.hljs-regexp,.hljs-addition,.hljs-attribute,.hljs-meta .hljs-string{color:#98c379}.hljs-attr,.hljs-variable,.hljs-template-variable,.hljs-type,.hljs-selector-class,.hljs-selector-attr,.hljs-selector-pseudo,.hljs-number{color:#d19a66}.hljs-symbol,.hljs-bullet,.hljs-link,.hljs-meta,.hljs-selector-id,.hljs-title{color:#61aeee}.hljs-built_in,.hljs-title.class_,.hljs-class .hljs-title{color:#e6c07b}.hljs-emphasis{font-style:italic}.hljs-strong{font-weight:700}.hljs-link{text-decoration:underline}
*{box-sizing:border-box}.hv-center,.markdown-body .katex-display,.markdown-body-dark .katex-display,.page-main .page-main-content,.page-main .page-main-title,.page-main{justify-content:center;align-items:center;display:flex}.page-main{flex-direction:column;width:100%;max-width:100vw;height:auto;margin-bottom:15vh;padding:0 13vw}.page-main .page-main-title{width:100%;margin-top:17vh}.page-main .page-main-content{flex-direction:column;width:100%;margin:10vh 5vw 0;display:flex}@media screen and (max-width:992px){.page-main{padding:0}}.markdown-body,.markdown-body-dark{-moz-text-size-adjust:100%;text-size-adjust:100%;border-radius:5px;width:100%;padding:20px;font-family:CustomFont1,Comic Sans MS,YouYuan,幼圆,Yuanti SC,PingFang SC,Microsoft YaHei,system-ui,sans-serif;font-size:17px;line-height:normal}.markdown-body .katex-display,.markdown-body-dark .katex-display{overflow-x:scroll}.markdown-body .katex-display::-webkit-scrollbar{width:0;height:6px}.markdown-body-dark .katex-display::-webkit-scrollbar{width:0;height:6px}.markdown-body .katex-display::-webkit-scrollbar-track{display:none}.markdown-body-dark .katex-display::-webkit-scrollbar-track{display:none}.markdown-body .katex-display::-webkit-scrollbar-thumb{background:#33333330;border-radius:50px;transition:all .2s}.markdown-body-dark .katex-display::-webkit-scrollbar-thumb{background:#33333330;border-radius:50px;transition:all .2s}.markdown-body .katex-display::-webkit-scrollbar-thumb:hover{background:#33333320}.markdown-body-dark .katex-display::-webkit-scrollbar-thumb:hover{background:#33333320}.markdown-body .katex-html,.markdown-body-dark .katex-html{display:none}.markdown-body semantics,.markdown-body-dark semantics{color:#1f1e33!important;margin:5px 0!important;font-size:18px!important}.markdown-body .katex-display semantics,.markdown-body-dark .katex-display semantics{font-size:23px!important}.markdown-body hr,.markdown-body-dark hr{background-color:#abb8c5;border:0;height:.25em;margin-top:24px}.markdown-body h1,.markdown-body-dark h1,.markdown-body h2,.markdown-body-dark h2,.markdown-body h3,.markdown-body-dark h3,.markdown-body h4,.markdown-body-dark h4,.markdown-body h5,.markdown-body-dark h5{color:#1f1e33;border-bottom:1px solid #abb8c5;width:100%;margin-top:20px;margin-bottom:10px;transition:all .3s}.markdown-body h1:hover,.markdown-body-dark h1:hover,.markdown-body h2:hover,.markdown-body-dark h2:hover,.markdown-body h3:hover,.markdown-body-dark h3:hover,.markdown-body h4:hover,.markdown-body-dark h4:hover,.markdown-body h5:hover,.markdown-body-dark h5:hover{transform:scale(1.02)}.markdown-body h1,.markdown-body-dark h1{font-size:31px}.markdown-body h1:before,.markdown-body-dark h1:before{content:"🖌️"}.markdown-body h2,.markdown-body-dark h2{font-size:28px}.markdown-body h2:before,.markdown-body-dark h2:before{content:"✒️"}.markdown-body h3,.markdown-body-dark h3{font-size:25px}.markdown-body h3:before,.markdown-body-dark h3:before{content:"🖋️"}.markdown-body h4,.markdown-body-dark h4{font-size:22px}.markdown-body h4:before,.markdown-body-dark h4:before{content:"✏️"}.markdown-body h5,.markdown-body-dark h5{font-size:20px}.markdown-body h5:before,.markdown-body-dark h5:before{content:"📌"}.markdown-body p,.markdown-body-dark p{color:#1f1e33;margin:7px 0}.markdown-body .markdown-image-container,.markdown-body-dark .markdown-image-container{justify-content:center;width:100%;margin:20px 0;display:flex}.markdown-body .markdown-image-container .ant-image,.markdown-body-dark .markdown-image-container .ant-image{max-width:100%}.markdown-body .markdown-image-container .ant-image-img,.markdown-body-dark .markdown-image-container .ant-image-img{border-radius:10px;max-width:100%;height:auto;box-shadow:0 5px 25px #0003,0 10px 30px -11px #0009}.markdown-body a,.markdown-body-dark a{color:#1e90ff}.markdown-body table,.markdown-body-dark table{border-collapse:collapse;width:100%;margin-top:.7em;margin-bottom:1em}.markdown-body table th,.markdown-body-dark table th,.markdown-body table td,.markdown-body-dark table td{color:#1f1e33;border:1px solid #bcbcbc;padding:.5em}.markdown-body table th,.markdown-body-dark table th{background:#f6f8fa;font-weight:700}.markdown-body table tr:nth-child(odd),.markdown-body-dark table tr:nth-child(odd){background-color:#0000}.markdown-body table tr:nth-child(2n),.markdown-body-dark table tr:nth-child(2n){background-color:#f1f1f1a5}.markdown-body ul,.markdown-body-dark ul,.markdown-body ol,.markdown-body-dark ol{padding-left:20px}.markdown-body li,.markdown-body-dark li{color:#1f1e33}.markdown-body blockquote,.markdown-body-dark blockquote{background-color:#0781eb1a;border-left:5px solid #1e90ff;margin-left:0;margin-right:0;padding:10px 10px 5px 15px}.markdown-body code,.markdown-body-dark code{color:#096720;white-space:normal;overflow-wrap:normal;word-break:keep-all;background-color:#afb8c15e;border-radius:5px;margin:0 1px;padding:2px 5px}.markdown-body pre,.markdown-body-dark pre{width:100%;display:block;position:relative}.markdown-body .code-block-wrapper,.markdown-body-dark .code-block-wrapper{background:#2d2d2d;border-radius:5px;width:auto;height:auto}.markdown-body .code-block-wrapper .code-header,.markdown-body-dark .code-block-wrapper .code-header{background-color:#282828;border-bottom:1px solid #dddddd80;border-radius:5px 5px 0 0;justify-content:space-between;align-items:center;min-height:30px;max-height:30px;padding:5px 0;display:flex}.markdown-body .code-block-wrapper .code-header.collapsed,.markdown-body-dark .code-block-wrapper .code-header.collapsed{border-bottom:none;border-radius:5px}.markdown-body .code-block-wrapper .code-header .language,.markdown-body-dark .code-block-wrapper .code-header .language{color:#ddd;padding:0 10px 5px;font-weight:700}.markdown-body .code-block-wrapper .code-header .operations,.markdown-body-dark .code-block-wrapper .code-header .operations{justify-content:space-evenly;align-items:center;width:auto;height:100%;padding:0 10px;display:flex}.markdown-body .code-block-wrapper .code-header .operations .collapse-btn,.markdown-body-dark .code-block-wrapper .code-header .operations .collapse-btn{color:#ddd;margin:0 3px}.markdown-body .code-block-wrapper .code-header .operations .copy-btn,.markdown-body-dark .code-block-wrapper .code-header .operations .copy-btn{color:#ddd;cursor:pointer;margin:0 3px;font-size:18px;transition:all .3s}.markdown-body .code-block-wrapper .code-header .operations .copy-btn:hover,.markdown-body-dark .code-block-wrapper .code-header .operations .copy-btn:hover{color:#1e6bb9}.markdown-body .code-block-wrapper .code-header .operations .copy-btn.dark,.markdown-body-dark .code-block-wrapper .code-header .operations .copy-btn.dark{color:#fffc}.markdown-body .code-block-wrapper .code-header .operations .copy-btn.dark:hover,.markdown-body-dark .code-block-wrapper .code-header .operations .copy-btn.dark:hover{color:#29b839}.markdown-body .code-block-wrapper .code-body,.markdown-body-dark .code-block-wrapper .code-body{width:auto;height:auto;transition:all .3s}.markdown-body .code-block-wrapper .code-body .code-row,.markdown-body-dark .code-block-wrapper .code-body .code-row{-moz-text-size-adjust:100%;text-size-adjust:100%;align-items:stretch;width:100%;min-width:100%;height:auto;display:flex}.markdown-body .code-block-wrapper .code-body .code-row .line-num,.markdown-body-dark .code-block-wrapper .code-body .code-row .line-num{box-sizing:border-box;text-align:right;color:#ddd9;-webkit-user-select:none;user-select:none;z-index:1;width:40px;max-width:40px;font-size:12px;line-height:inherit;font-variant-numeric:tabular-nums;font-feature-settings:"tnum";background:#282828;border-right:1px solid #ffffff1a;flex-shrink:0;justify-content:flex-end;align-items:center;padding:0 6px 0 0;display:flex;position:sticky;left:0;overflow:hidden}.markdown-body .code-block-wrapper .code-body .code-row .line-num:before,.markdown-body-dark .code-block-wrapper .code-body .code-row .line-num:before{content:attr(data-num)}.markdown-body .code-block-wrapper .code-body .code-row .code-content,.markdown-body-dark .code-block-wrapper .code-body .code-row .code-content{white-space:pre;-moz-text-size-adjust:100%;text-size-adjust:100%;flex:1;min-width:0;padding:2px 12px;display:block}.markdown-body .code-block-wrapper .code-body.collapsed,.markdown-body-dark .code-block-wrapper .code-body.collapsed{height:0;overflow:hidden}.markdown-body pre,.markdown-body-dark pre{margin:0;position:relative}.markdown-body pre code.hljs,.markdown-body-dark pre code.hljs{color:#ddd;white-space:pre;background:#2d2d2d;max-height:90vh;padding:5px 0;display:block;overflow-x:auto}.markdown-body pre code.hljs::-webkit-scrollbar{width:0;height:6px}.markdown-body-dark pre code.hljs::-webkit-scrollbar{width:0;height:6px}.markdown-body pre code.hljs::-webkit-scrollbar-track{background:#ffffff3f;border-radius:100px}.markdown-body-dark pre code.hljs::-webkit-scrollbar-track{background:#ffffff3f;border-radius:100px}.markdown-body pre code.hljs::-webkit-scrollbar-thumb{background:#ffffff46;border-radius:50px;transition:all .5s}.markdown-body-dark pre code.hljs::-webkit-scrollbar-thumb{background:#ffffff46;border-radius:50px;transition:all .5s}.markdown-body pre code.hljs::-webkit-scrollbar-thumb:hover{background-color:#ffffff6b}.markdown-body-dark pre code.hljs::-webkit-scrollbar-thumb:hover{background-color:#ffffff6b}.markdown-body-dark .katex-html{display:none}.markdown-body-dark .katex-display{overflow-x:scroll}.markdown-body-dark .katex-display::-webkit-scrollbar{width:0;height:6px}.markdown-body-dark .katex-display::-webkit-scrollbar-track{display:none}.markdown-body-dark .katex-display::-webkit-scrollbar-thumb{background:#ffffff46;border-radius:50px;transition:all .2s}.markdown-body-dark .katex-display::-webkit-scrollbar-thumb:hover{background-color:#ffffff6b}.markdown-body-dark semantics{color:#fffc!important;margin:5px 0!important;font-size:20px!important}.markdown-body-dark .katex-display semantics{font-size:23px!important}.markdown-body-dark hr{background-color:#abb8c5;border:0;height:.25em;margin-top:24px}.markdown-body-dark h1,.markdown-body-dark h2,.markdown-body-dark h3,.markdown-body-dark h4,.markdown-body-dark h5{color:#fffc;border-bottom:1px solid #abb8c5;width:100%;margin-top:20px;margin-bottom:10px;transition:all .3s}.markdown-body-dark h1:hover,.markdown-body-dark h2:hover,.markdown-body-dark h3:hover,.markdown-body-dark h4:hover,.markdown-body-dark h5:hover{transform:scale(1.02)}.markdown-body-dark h1{font-size:31px}.markdown-body-dark h1:before{content:"🖌️"}.markdown-body-dark h2{font-size:28px}.markdown-body-dark h2:before{content:"✒️"}.markdown-body-dark h3{font-size:25px}.markdown-body-dark h3:before{content:"🖋️"}.markdown-body-dark h4{font-size:22px}.markdown-body-dark h4:before{content:"✏️"}.markdown-body-dark h5{font-size:20px}.markdown-body-dark h5:before{content:"📌"}.markdown-body-dark p{color:#fffc;margin:7px 0}.markdown-body-dark a{color:#29b839}.markdown-body-dark table{border-collapse:collapse;width:100%;margin-top:.7em;margin-bottom:1em}.markdown-body-dark table th,.markdown-body-dark table td{color:#fffc;border:1px solid #bcbcbc;padding:.5em}.markdown-body-dark table th{background:#4a4b51;font-weight:700}.markdown-body-dark table tr:nth-child(odd){background-color:#0000}.markdown-body-dark table tr:nth-child(2n){background-color:#595962a5}.markdown-body-dark ul,.markdown-body-dark ol{padding-left:20px}.markdown-body-dark li{color:#fffc}.markdown-body-dark blockquote{background-color:#29b8391a;border-left:5px solid #29b839;margin-left:0;margin-right:0;padding:10px 10px 5px 15px}.markdown-body-dark code{white-space:normal;overflow-wrap:normal;word-break:keep-all;color:#a70000;text-shadow:0 0 2px #ccccccb1;background-color:#d9d9d95e;border-radius:5px;margin:0 1px;padding:2px 5px}.markdown-body-dark pre{margin:0;position:relative}.markdown-body-dark pre code.hljs{color:#ddd;white-space:pre;max-height:90vh;text-shadow:none;background:#2d2d2d;padding:5px 0;display:block;overflow-x:auto}.markdown-body-dark pre code.hljs::-webkit-scrollbar{width:0;height:6px}.markdown-body-dark pre code.hljs::-webkit-scrollbar-track{background:#ffffff3f;border-radius:100px}.markdown-body-dark pre code.hljs::-webkit-scrollbar-thumb{background:#ffffff46;border-radius:50px;transition:all .5s}.markdown-body-dark pre code.hljs::-webkit-scrollbar-thumb:hover{background-color:#ffffff6b}