.content>h1:first-child,.content h1:first-of-type{display:none}.content h2{font-size:1.8rem;margin:2rem 0 1rem}.content h3{font-size:1.4rem;margin:1.5rem 0 .8rem}.content p{margin:1rem 0;overflow-wrap:break-word;word-wrap:break-word}.content ul,.content ol{margin:1rem 0 1rem 2rem}.content li{margin:.5rem 0}.content code{background-color:#f5f5f5;padding:.2rem .4rem;border-radius:3px;font-family:Courier New,monospace;font-size:.9em}.content pre{background-color:#f5f5f5;padding:1rem;border-radius:5px;overflow-x:auto}.content .math-inline,.content .math-display,.content span[class*=math],.content mjx-container{overflow-x:auto;overflow-y:hidden;display:block;max-width:100%}.content span.math.inline,.content mjx-container[display=inline]{display:inline-block;max-width:100%;vertical-align:middle}.content>*{max-width:100%}.content .math.inline{overflow-x:auto}.content .math.display{overflow-x:auto;display:block}.article-header[data-astro-cid-xw3clhsd]{margin-bottom:3rem;padding-bottom:2rem;border-bottom:2px solid #111111;position:relative}.article-header[data-astro-cid-xw3clhsd] h1[data-astro-cid-xw3clhsd]{font-size:2.5rem;margin:0 0 1rem;line-height:1.2}.article-meta[data-astro-cid-xw3clhsd]{display:flex;align-items:center;gap:.8rem;font-size:.9rem;color:#666}.separator[data-astro-cid-xw3clhsd]{color:#ccc}.btn-download-sticky[data-astro-cid-xw3clhsd]{position:absolute;top:0;right:0;padding:.6rem 1rem;background-color:#4a90e2;color:#fff;text-decoration:none;border-radius:4px;font-weight:600;font-size:.9rem}.btn-download-sticky[data-astro-cid-xw3clhsd]:hover{background-color:#3a7bc8}.abstract[data-astro-cid-xw3clhsd]{background-color:#f5f5f5;padding:2rem;border-radius:4px;margin-bottom:3rem}.abstract[data-astro-cid-xw3clhsd] h2[data-astro-cid-xw3clhsd]{font-size:1.3rem;margin:0 0 1rem}.abstract[data-astro-cid-xw3clhsd] p[data-astro-cid-xw3clhsd]{margin:0;line-height:1.7}.content[data-astro-cid-xw3clhsd]{margin-bottom:3rem}.content[data-astro-cid-xw3clhsd] .math{overflow-x:auto;overflow-y:hidden;max-width:100%}.content[data-astro-cid-xw3clhsd] .math.inline{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle}.content[data-astro-cid-xw3clhsd] .math.display{margin:1.5rem 0;text-align:center;overflow-x:auto;overflow-y:hidden;max-width:100%}.content[data-astro-cid-xw3clhsd] mjx-container{overflow-x:auto!important;overflow-y:hidden!important;max-width:100%!important}.content[data-astro-cid-xw3clhsd] mjx-container[display=block]{overflow-x:auto!important;margin:1.5rem 0!important}.content[data-astro-cid-xw3clhsd] img{max-width:100%;height:auto;display:block;margin:2rem auto;border-radius:4px}.content[data-astro-cid-xw3clhsd] figure{margin:2rem 0;text-align:center}.content[data-astro-cid-xw3clhsd] figcaption{margin-top:.5rem;font-size:.9rem;color:#666;font-style:italic}.content[data-astro-cid-xw3clhsd] .theorem,.content[data-astro-cid-xw3clhsd] .proposition,.content[data-astro-cid-xw3clhsd] .definition,.content[data-astro-cid-xw3clhsd] .proof{margin:1.5rem 0;padding:1rem 1.5rem;background-color:#f9f9f9;border-left:3px solid #4A90E2}.content[data-astro-cid-xw3clhsd] .theorem strong,.content[data-astro-cid-xw3clhsd] .proposition strong,.content[data-astro-cid-xw3clhsd] .definition strong{font-weight:600;color:#111}.article-footer[data-astro-cid-xw3clhsd]{margin-top:4rem;padding-top:2rem;border-top:2px solid #e0e0e0}.btn-download[data-astro-cid-xw3clhsd]{display:inline-block;padding:.8rem 1.5rem;background-color:#4a90e2;color:#fff;text-decoration:none;border-radius:4px;font-weight:600;margin-bottom:2rem}.btn-download[data-astro-cid-xw3clhsd]:hover{background-color:#3a7bc8}.article-nav[data-astro-cid-xw3clhsd]{display:flex;justify-content:space-between;gap:2rem;margin-top:2rem}.nav-link[data-astro-cid-xw3clhsd]{flex:1;padding:1rem;background-color:#f5f5f5;border-radius:4px;text-decoration:none;color:#111;transition:background-color .2s}.nav-link[data-astro-cid-xw3clhsd]:hover{background-color:#e0e0e0}.nav-link[data-astro-cid-xw3clhsd].prev{text-align:left}.nav-link[data-astro-cid-xw3clhsd].next{text-align:right}@media(max-width:768px){.article-header[data-astro-cid-xw3clhsd]{margin-bottom:2rem;padding-bottom:1.5rem}.article-header[data-astro-cid-xw3clhsd] h1[data-astro-cid-xw3clhsd]{font-size:1.6rem;margin-bottom:1rem;padding-right:0}.article-meta[data-astro-cid-xw3clhsd]{font-size:.85rem;flex-wrap:wrap}.btn-download-sticky[data-astro-cid-xw3clhsd]{position:static;display:block;text-align:center;margin-top:1rem;width:100%}.abstract[data-astro-cid-xw3clhsd]{padding:1.5rem;margin-bottom:2rem}.abstract[data-astro-cid-xw3clhsd] h2[data-astro-cid-xw3clhsd]{font-size:1.2rem}.content[data-astro-cid-xw3clhsd]{font-size:.95rem;overflow-x:hidden}.content[data-astro-cid-xw3clhsd] .math,.content[data-astro-cid-xw3clhsd] mjx-container{font-size:.85rem!important;overflow-x:auto!important;-webkit-overflow-scrolling:touch}.content[data-astro-cid-xw3clhsd] .math.display,.content[data-astro-cid-xw3clhsd] mjx-container[display=block]{font-size:.9rem!important}.btn-download[data-astro-cid-xw3clhsd]{width:100%;text-align:center}.article-nav[data-astro-cid-xw3clhsd]{flex-direction:column;gap:1rem}.nav-link[data-astro-cid-xw3clhsd]{padding:.8rem;font-size:.9rem}}