.commit-log-container{max-width:300px;margin:20px auto;border-radius:6px;padding:5px 16px}.light-mode .commit-log-container{background:#f5f5f5;border:1px solid #d0d0d0}.dark-mode .commit-log-container{background:#1e1e1e;border:1px solid #3e3e3e}.commit-log-content{font-family:Courier New,Consolas,monospace;font-size:11px;line-height:1.6;white-space:pre-line;word-wrap:break-word;overflow-wrap:break-word}.light-mode .commit-log-content{color:#2e2e2e}.dark-mode .commit-log-content{color:#d4d4d4}.light-mode .commit-log-header{color:#22863a}.dark-mode .commit-log-header{color:#6a9955}/*!
* Neumann Condition Website Styles
* Organized CSS architecture for better maintainability
* Created: June 2024, Reorganized: November 2025
*
* Architecture:
* - base/: Foundational styles (variables, fonts, reset, typography)
* - layout/: Grid systems and page structure
* - components/: Reusable UI components
* - pages/: Page-specific styles
* - utils/: Utilities (responsive, animations)
* - vendors/: Third-party CSS imports
*/:root{--paragraph-font-size: 16px;--body-font: "Computer-Modern", sans-serif;--top-bar-font: "Computer-Modern", serif;--top-buttons-font-weight: 550;--body-background-color: #ffffff;--grid-text-color: black;--url-color: #0954b6;--url-hover-color: rgb(0, 194, 0);--underline-color: oklch(48.8% .243 264.376);--figcaption-text: rgb(0, 0, 130);--contrast-line-color: #b4b4b4;--nav-bar-color: #f2f2f2;--nav-bar-text-color: rgb(0, 0, 130);--li-border-color: rgb(183, 183, 183);--toc-focus-color: #007BFF;--next-button: rgb(26, 26, 26);--next-text: black;--next-border: #a9a9b3;--toggle-bar: white;--top-buttons-hover-color: rgb(0, 185, 226);--dropdown-color: white;--dropdown-text-color: black;--dropdown-hover-color: #ddd;--highlight-dropdown-color: rgb(0, 0, 130);--autocomplete-dropdown-color: #fff;--autocomplete-dropdown-border: #ccc;--autocomplete-dropdown-text-color: black;--autocomplete-item-container-hover: #f0f0f0;--autocomplete-dropdown-left-border: #0006b1;--search-item-border-color: #b0b0b0;--code-box-color: #fff;--inline-code-color: rgb(247, 247, 247);--box-border: #bfbfbf;--pre-color: #fcfcfc;--tab-color: #ededed;--material-background: white;--article-color-default: #fafafa;--article-color: #eaeaea;--article-name-color: #333;--article-description-color: black;--article-date-color: rgb(0, 0, 130);--material-link-color: #595959;--article-shadow-color: rgba(0, 0, 0, .2);--general-wrapper-width: 60rem;--side-nav-width: 375px;--top-bar-height: 60px;--in-page-li-spacing: 15px;--progressive-bar-height: 2px;--progressive-bar-color: oklch(.577 .245 27.325);--share-button-position: 80px;--gear-button-height: 28px;--github-scroller: gray;--fade-in-out-time: .5s;--slide-time: .5s;--highlight-drop-time: .8s;--highlight-opacity-time: .5s}html.dark-mode{--body-background-color: #161616;--grid-text-color: #a9a9b3;--figcaption-text: #939393;--next-text: #ffffff;--nav-bar-color: #121212;--nav-bar-text-color: #c6c6ce;--li-border-color: rgb(0, 71, 171);--toc-focus-color: rgb(0, 194, 0);--dropdown-color: #121212;--dropdown-text-color: white;--dropdown-hover-color: #222222;--highlight-dropdown-color: rgb(0, 155, 190);--autocomplete-dropdown-color: #161616;--autocomplete-dropdown-border: #3b3b3b;--autocomplete-dropdown-text-color: #aaa;--autocomplete-item-container-hover: #3b3b3b;--autocomplete-dropdown-left-border: rgb(0, 150, 255);--search-item-border-color: #8a8a8a;--code-box-color: #2a2a2a;--inline-code-color: rgb(55, 55, 55);--box-border: #424242;--pre-color: #1a1a1a;--tab-color: black;--material-background: rgb(38, 38, 38);--article-color: #1f1f1f;--article-name-color: #dddddd;--article-description-color: #dddddd;--article-date-color: #aaa;--material-link-color: #aaa;--article-shadow-color: rgba(255, 255, 255, .1);--progressive-bar-height: 1px;--github-scroller: #ddd;--url-color: #18e9e9}@media all and (min-width:1800px){:root{--top-bar-height: 70px}}@media all and (max-width:1200px){:root{--side-nav-width: 350px}}@media all and (max-width:580px){:root{--side-nav-width: 330px;--gear-button-height: 25px}}@font-face{font-family:et-book;font-weight:400;src:url(/_astro/et-book-roman-line-figures.CaA40oOf.woff) format("woff")}@font-face{font-family:Computer-Modern;font-weight:400;src:url(/_astro/cmunrm.DaBnLqed.woff) format("woff")}@font-face{font-family:Computer-Modern;font-weight:700;src:url(/_astro/cmunbx.mSJq9gaK.woff) format("woff")}@font-face{font-family:Computer-Modern;font-style:italic;src:url(/_astro/cmunsl.-qO9es0U.woff) format("woff")}@font-face{font-family:Jura;font-weight:300;font-display:swap;src:url(/_astro/jura-v34-latin-300.BEiwdXMV.woff2) format("woff2")}@font-face{font-family:Jura;font-weight:400;font-display:swap;src:url(/_astro/jura-v34-latin-regular.DQpiHaHX.woff2) format("woff2")}@font-face{font-family:Jura;font-weight:500;font-display:swap;src:url(/_astro/jura-v34-latin-500.v_zsdxpI.woff2) format("woff2")}@font-face{font-family:Jura;font-weight:600;font-display:swap;src:url(/_astro/jura-v34-latin-600.BcMwyby6.woff2) format("woff2")}@font-face{font-family:Jura;font-weight:700;font-display:swap;src:url(/_astro/jura-v34-latin-700.C22zxZOY.woff2) format("woff2")}html{font-size:100%;overflow-x:hidden;background-color:#1a1a1a;scroll-padding-top:120px}body{position:relative;background-color:var(--body-background-color);transition:width .3s,background-color .3s,color .3s;overflow-x:hidden;margin:0;padding:0;counter-reset:fig table_ theorem problem def}body::-webkit-scrollbar{width:10px;border-radius:5px}body::-webkit-scrollbar-track{background:#7b7b7b}body::-webkit-scrollbar-thumb{background:#434343}body::-webkit-scrollbar-thumb:hover{background:#555}body{padding-left:var(--side-nav-width);margin-top:0;padding-top:0}body.nav-open{padding-left:var(--side-nav-width)}body.nav-closed{padding-left:0}body.transitions-ready{transition:padding-left .5s ease}h2,h3,p{-webkit-hyphens:auto;-moz-hyphens:auto;-ms-hyphens:auto;hyphens:auto;overflow-wrap:break-word;word-wrap:break-word}ul{line-height:1.6;padding-left:20px}h1{font-size:2.5em;width:100%;text-align:left;position:relative;z-index:80}h2{margin:80px 0 20px;font-size:25px;border-bottom:1px solid var(--contrast-line-color)}h2.h3-visual{font-size:1.3em;margin:40px 0 0;border-bottom:none;width:100%;text-align:left;position:relative;padding:0;z-index:80}h3.h4-visual{font-size:1.1em;margin:revert}h3{font-size:1.3em;width:100%;margin:40px 0 0;text-align:left;position:relative;padding-bottom:0;padding-top:0;z-index:80}h4{font-size:1.1em}p{font-size:var(--paragraph-font-size);min-width:50px;line-height:1.6;font-weight:400;padding:0;margin:10px 0}.topic{font-family:Courier New,monospace;font-weight:700;text-align:left;border-bottom:2px solid var(--underline-color);max-width:100%;min-width:50%;margin-top:0;margin-left:0;font-size:17px}.date{margin-top:0;margin-bottom:60px;color:var(--nav-bar-text-color);font-style:italic}caption,figcaption{margin-left:auto;margin-right:auto;text-align:center;color:var(--figcaption-text);font-family:inherit;font:inherit;-webkit-hyphens:auto;-moz-hyphens:auto;-ms-hyphens:auto;hyphens:auto}caption{font-size:16px;margin-top:10px;margin-bottom:10px}figcaption{font-size:14px;margin-top:10px;margin-bottom:0}figcaption:before{counter-increment:fig;content:"Fig. " counter(fig) ": "}caption:before{counter-increment:table_;content:"Table. " counter(table_) ": "}.url{color:var(--url-color);text-decoration:none}.url:hover{color:var(--url-hover-color);cursor:pointer}.hyperlink{text-decoration:none;color:inherit}.hyperlink:hover{text-decoration:underline;color:var(--url-hover-color)}.in-page-link{text-decoration:underline;color:var(--url-color);text-decoration-thickness:1px}.general-wrapper{left:0;right:0;top:0;position:relative;text-align:justify;background-color:var(--body-background-color);color:var(--grid-text-color);margin-top:var(--top-bar-height);display:flex;flex:1;flex-direction:column;max-width:100%}.content-grid{font-family:var(--body-font);width:var(--general-wrapper-width);margin-left:auto;margin-right:auto;min-height:100vh}.content-grid>header{margin-top:70px}.content-grid:after{content:"";display:block;height:100px;width:100%}.two-columns-block{display:flex;flex-direction:row;margin:0;gap:1em}.two-columns-block>div{display:flex;align-items:flex-start;flex-direction:column;overflow:hidden;align-items:center;flex:1;padding:0}.image-block{display:block;position:relative;margin-left:auto;margin-right:auto}.image{display:block;max-height:100%;margin:auto;border-radius:7px;height:auto;display:flex;justify-content:center;object-fit:contain}.caption{text-align:center}.line-6,.line-7{margin:20px auto;background:#b4b4b4;height:.5px;display:block;width:100%;height:1px}.line-6{display:none;height:1px;margin-top:15px;margin-bottom:15px}.top-nav{position:fixed;background-color:var(--nav-bar-color);background:#1a1a1a;color:#fff;display:flex;flex-direction:row;font-family:var(--top-bar-font);justify-content:space-between;align-items:stretch;width:100%;height:var(--top-bar-height);left:0;top:0;z-index:1000;border-bottom:1px solid var(--border-line-color);box-shadow:0 4px 2px -2px #0000001a}.left{display:grid;grid-template-columns:auto auto auto auto auto auto;gap:30px;justify-content:space-between;padding-left:20px;padding-right:20px;align-items:center;margin-left:100px;margin-right:0}.right{flex:1;display:flex;align-items:center;width:100%;justify-content:end;padding-left:200px}#Home-Icon{width:25px;align-items:center}#Material-button,#Note-button{font-family:var(--top-bar-font)}.dropdown{overflow:hidden}.dropdown .dropbtn{border:none;outline:none;background-color:inherit;color:inherit;margin:0}.dropdown-content{display:none;position:absolute;background-color:var(--nav-bar-color);min-width:160px;box-shadow:0 8px 16px #0003;opacity:0;transition:opacity .3s ease-in-out;z-index:2000}.dropdown-content.show{margin-top:5px;display:block;opacity:1}.dropdown-content a{float:none;color:var(--dropdown-text-color);padding:12px 16px;text-decoration:none;display:block;text-align:left;animation:fadeIn .3s ease-in-out forwards;opacity:0}.dropdown-content a:hover{background-color:var(--dropdown-hover-color)}@keyframes fadeIn{0%{opacity:0;transform:translateY(-10px)}to{opacity:1;transform:translateY(0)}}.dropbtn{margin-left:0;padding-left:0}.top-bar-icon{margin-right:10px;width:20px;padding:0}.top-buttons{margin:0;display:grid;width:100%;grid-template-columns:1fr;gap:20%;align-items:center;color:inherit;text-decoration:none;white-space:nowrap;outline:none;overflow:hidden;background:none;border:0;padding:0}.top-buttons,.dropbtn{font-size:1.45em}.top-buttons:hover,.dropbtn:hover{color:#00b9e2;transition-duration:50ms;cursor:pointer}.left.hidden,.buttons-container.hidden,.toggle-btn-container.hidden{display:none!important}.progress-container{top:calc(var(--top-bar-height) - var(--progressive-bar-height) + 1px);position:fixed;width:100%;height:var(--progressive-bar-height);background:#1a1a1a;z-index:1000}.progress-bar{top:calc(var(--top-bar-height) - var(--progressive-bar-height) + 1px);position:fixed;height:var(--progressive-bar-height);background:var(--progressive-bar-color);width:0%;z-index:1000}.search-bar-container{position:relative;margin-left:0;flex:1;display:flex;align-items:center;min-width:24px;transition:width .3s ease}.search-bar-container.expanded{transition:width .3s ease-in-out;width:100%}.search-bar,.search-bar-mobile{width:100%;height:28px;font-size:16px;border-radius:4px;border:1px solid rgb(186,186,186);color:#ffffffbf;background:#272727}.search-bar-mobile{display:none}input.search-bar-mobile,input.search-bar{background-image:url('data:image/svg+xml,');background-size:18px 18px;padding-left:35px;background-repeat:no-repeat;background-position:5px center}input.search-bar-mobile:focus,input.search-bar:focus{border:2px solid rgb(0,145,255);outline:none}.search-bar::placeholder,.search-bar-mobile::placeholder{font-family:Jura,sans-serif;font-size:14px;padding-left:3px;font-weight:700;color:#757575}.search-overlay{margin-top:var(--top-bar-height);position:fixed;top:0;left:0;width:100%;height:100%;background-color:#00000080;z-index:10;display:none}.search-bar-container.expanded+.search-overlay{display:block;transition:opacity .3s ease-in-out;opacity:1}.autocomplete-dropdown{font-family:Computer-Modern,Arial;font-size:15px;position:absolute;top:100%;left:0;right:0;color:var(--autocomplete-dropdown-text-color);border:1px solid var(--autocomplete-dropdown-border);text-decoration:none;border-top:none;border-radius:0 0 4px 4px;background-color:var(--autocomplete-dropdown-color);max-height:70vh;overflow-y:auto;z-index:10000;display:none}.autocomplete-item-container{padding:10px;cursor:pointer}.autocomplete-item-container:hover,.autocomplete-active{border-left:3px solid var(--autocomplete-dropdown-left-border);background-size:25px 25px;background-repeat:no-repeat;padding-left:35px;background-position:5px center;background-color:var(--autocomplete-item-container-hover)}.autocomplete-item-container a{text-decoration:none;color:inherit}.navbar{position:fixed;height:100%;background-color:var(--nav-bar-color);color:var(--nav-bar-text-color);top:var(--top-bar-height);left:0;bottom:0;font-family:var(--body-font);font-size:15px;border-right:1px solid #5b5b5b;overflow:hidden;overflow-y:scroll;box-shadow:0 2px 10px #0000001a;z-index:800;width:var(--side-nav-width);max-width:var(--side-nav-width);transform:translate(0);scrollbar-width:none;-ms-overflow-style:none}.navbar.transitions-ready{transition:transform var(--slide-time) ease}.navbar::-webkit-scrollbar{display:none}.navbar.closed{transform:translate(-100%)}@media(max-width:1200px){.navbar:not(.open):not(.closed){transform:translate(-100%)}}.navbar.transitions-ready *,.navbar.transitions-ready .side-nav ul,.navbar.transitions-ready nav ul{opacity:1;transition:opacity var(--fade-in-out-time) ease}.navbar.closed *,.navbar.closed ul{opacity:0}@media(max-width:1200px){.navbar:not(.open):not(.closed) *,.navbar:not(.open):not(.closed) ul{opacity:0}}.navbar:after{content:"";display:block;height:150px;width:100%}.side-nav-content-container,.toc{padding:0 15px}.side-nav-content-container>section,.toc{padding-top:10px;padding-bottom:25px;margin:0}.side-nav-content-container>section{border-bottom:1px solid #b4b4b4}.side-nav,.toc>header{border-top:1px solid #b4b4b4}.toc>header{padding-top:5px}.toc ul li{border-left:1.5px solid var(--li-border-color)}.highlights ul li:hover,.side-nav ul li:hover,.toc ul li:hover{border-left:2px solid red}.toc li{line-height:1.4}.toc ul li li:hover{border-left:2px solid blueviolet}.toc ul li li li:hover{border-left:2px solid green}.toc a.active{color:var(--toc-focus-color)}.side-nav ul li a,.toc a{text-decoration:none;color:inherit}.side-nav{padding:20px 0;margin:0 15px;display:none}.side-nav ul,nav ul{list-style-type:none;padding:0;margin:0}.highlights ul li,.side-nav ul li,.toc ul li{padding:5px;text-align:left;background:var(--nav-bar-color);cursor:pointer}.side-nav ul ul,.toc ul ul{padding-left:10px;margin:0}.major h2,.side-summary{font-weight:700;border-bottom:2px solid #ea0000;padding-bottom:5px;display:inline-block;text-align:left}.major h2{font-size:1.3em;margin:.75em 0}.side-summary{font-size:1.3em;margin-bottom:18px}.major h2:hover,.side-buttons:hover,.side-nav:hover{cursor:pointer;transition-duration:50ms}.side-buttons{display:block;align-items:center;color:inherit;white-space:nowrap}#logo{margin-bottom:20px;overflow:hidden}#logoImage{display:block;object-fit:contain;width:80%;height:auto;margin:30px auto;transition:transform .2s ease}#logoImage:hover{transform:scale(1.05)}.toggle-btn-container{display:flex;align-items:center;justify-content:center;width:60px}.toggle-btn{position:fixed;width:35px;height:35px;background-color:#1a1a1a;border:1px solid #b4b4b4;border-radius:5px;padding:0;display:flex;flex-direction:column;align-items:center;justify-content:center;cursor:pointer;z-index:1000}.toggle-btn .bar{width:20px;height:2.5px;margin:2.5px;background-color:var(--toggle-bar);border-radius:1.25px;transition:all .3s;transform-origin:left}.toggle-btn:hover .bar{background-color:#1681c4}body.nav-open .toggle-btn .bar:nth-child(1){transform:rotate(45deg) translateY(-2px) scaleX(1.251)}body.nav-open .toggle-btn .bar:nth-child(2){opacity:0}body.nav-open .toggle-btn .bar:nth-child(3){transform:rotate(-45deg) translateY(2px) scaleX(1.251)}details summary::-webkit-details-marker{display:none}.highlights a,.side-nav-details,.side-nav-summary{margin:0;padding:0}.side-nav-details .side-nav-summary{display:inline-block}.highlights span{margin:0}.highlights li,.highlights ul{overflow:hidden;display:flex;flex-direction:column;margin:0}.highlights ul{gap:0;padding-top:0;padding-bottom:0}.highlights li{padding:0;font-size:16px;font-weight:550;transition:height var(--highlight-drop-time) ease}.highlights li img{border-radius:5px;width:100%;height:auto;margin:7px 0;max-height:0;opacity:0;transition:max-height var(--highlight-drop-time) ease,opacity .2s ease .1s}.highlights li:hover img{opacity:1;position:relative}.highlights a{transition:height var(--highlight-drop-time) ease,opacity .2s ease .1s;color:inherit;font-size:0}.recommend-img{position:relative;display:block;overflow:hidden}.recommend-img:after{content:"Read More";font-family:Jura,sans-serif;font-weight:400;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);background-color:#0009;color:#fff;padding:15px;border-radius:8px;font-size:15px;text-align:center;display:none;z-index:1}.recommend-img.show-read-more:after{display:block}.attribute{padding-top:18px;width:90%;margin:0 auto;display:flex;flex-direction:column;align-items:center;justify-content:center;row-gap:12px;font-family:inherit;font-size:14px;color:#9c9c9c;text-align:center;opacity:1;transition:opacity var(--fade-in-out-time) ease}.navbar.closed .attribute{opacity:0}.github-contribution{display:flex;justify-content:right;align-items:center;overflow:auto;position:relative;height:100%;direction:rtl;scrollbar-width:thin;scrollbar-color:var(--github-scroller) var(--nav-bar-color)}.github-contribution img{width:auto;height:100%;object-fit:cover;object-position:right}.home-banner{position:relative;display:grid;grid-template-columns:1fr 1fr;max-width:100%;height:40vh;border:0;background-color:#000}#bannerCanvas{position:relative;top:0;left:0;z-index:0}.left-section-banner,.right-section-banner{position:relative;width:100%;height:inherit}.left-section-banner{display:flex;justify-content:center;align-items:center;overflow:hidden}.right-section-banner{position:relative;display:flex;justify-content:center;align-items:center;flex-direction:row;overflow:hidden}.right-section-banner img{width:100%;height:100%;object-fit:cover;display:block}.banner-title{position:absolute;top:50%;left:50%;transform:translate(-50%,-50%);font-family:Jura,sans-serif;font-size:3rem;font-weight:700;color:#fff;background:#ffffff0d;padding:2px 10px;backdrop-filter:blur(1px);-webkit-backdrop-filter:blur(4px);border-radius:10px;z-index:2;white-space:nowrap}.banner-title:after{position:absolute;content:"";background:linear-gradient(to right,red,orange,#ff0,green,#00f,purple);height:3px;width:60%;bottom:0;left:20%}.buttons-container{display:flex;align-items:center;justify-content:center;padding-right:12px;padding-left:12px;gap:8px}.dark-mode-button{background:none;border:none;font-size:24px;cursor:pointer;outline:none;color:#ddd}html.dark-mode .dark-mode-button{color:#fdd835}.rss a{color:#fff;font-size:20px}.redirect-button{min-width:80px;display:inline-block;position:relative;text-align:center;margin:20px auto;background-size:200%;border:1px solid var(--next-border);border-radius:5px;padding:.7rem 1rem;font-size:18px;color:var(--next-text);font-weight:500;text-decoration:none}.redirect-button:hover{color:#2a7ae2}input[type=checkbox]{display:none}#toggleButton{border:none;background:none;cursor:pointer;padding:0;position:relative;width:calc(.8 * var(--gear-button-height));height:calc(.8 * var(--gear-button-height));background:#e6e6e6;border-radius:50%;transition:transform .5s ease}.center{position:absolute;top:calc(.2 * var(--gear-button-height));left:calc(.2 * var(--gear-button-height));width:calc(.4 * var(--gear-button-height));height:calc(.4 * var(--gear-button-height));background:#1a1a1a;border-radius:50%;z-index:100}.tooth{position:absolute;top:calc(-.1 * var(--gear-button-height));left:calc(.3 * var(--gear-button-height));z-index:1;width:calc(.2 * var(--gear-button-height));height:var(--gear-button-height);border-radius:.1px;background:#e6e6e6}.tooth:nth-child(2){transform:rotate(45deg)}.tooth:nth-child(3){transform:rotate(90deg)}.tooth:nth-child(4){transform:rotate(135deg)}input[type=checkbox]:checked+#toggleButton{transform:rotate(90deg)}input[type=checkbox]:not(:checked)+#toggleButton{transform:rotate(-90deg)}input[type=checkbox]:checked~div#settings_window{display:block}.setting-container{display:flex;justify-content:center;align-items:center}.share-button{position:fixed;top:var(--share-button-position);right:15px;width:40px;height:40px;border-radius:50%;cursor:pointer;z-index:1000;display:flex;justify-content:center;align-items:center;border:1px solid var(--contrast-line-color);color:var(--grid-text-color);background:var(--body-background-color);box-shadow:0 2px 8px #00000014;transition:transform .25s ease,box-shadow .25s ease,border-color .25s ease}.share-button:hover{border-color:var(--nav-bar-text-color);box-shadow:0 4px 14px #00000026}.share-button:active{transform:scale(.95)}.share-tooltip{position:absolute;bottom:10px;right:100px;transform:translate(50%);background-color:#1a1a1aeb;color:#fff;padding:5px 10px;border-radius:4px;font-family:var(--body-font);font-size:12px;white-space:nowrap;opacity:0;visibility:hidden;transition:opacity .3s ease,visibility .3s ease;pointer-events:none}#share-expand{font-size:16px;transition:color .25s ease}.share-button:hover #share-expand{color:var(--top-buttons-hover-color)}.share-button:hover .share-tooltip{opacity:1;visibility:visible}.share-options{position:fixed;display:none;top:calc(var(--share-button-position) + 46px);right:15px;z-index:1001}.share-option{display:flex;justify-content:center;align-items:center;width:40px;height:40px;padding:0;border-radius:50%;font-size:17px;margin:6px 0;border:1px solid var(--contrast-line-color);color:var(--grid-text-color);background:var(--body-background-color);cursor:pointer;box-shadow:0 2px 8px #00000014;transition:transform .2s ease,box-shadow .2s ease,border-color .2s ease,color .2s ease}#share-facebook:hover{color:#1877f2;border-color:#1877f2}#share-twitter:hover{color:#1da1f2;border-color:#1da1f2}#share-whatsapp:hover{color:#25d366;border-color:#25d366}#share-reddit:hover{color:#ff4500;border-color:#ff4500}#share-hackernews:hover{color:#f60;border-color:#f60}#share-telegram:hover{color:#26a5e4;border-color:#26a5e4}.share-option:active{transform:scale(.95)}.custom-select{position:relative;width:auto}.custom-select select{height:100%;padding:.5em 0 .5em 1em;background-color:#fff;border:1px solid #caced1;border-radius:.25rem;color:#000;font-family:Jura,sans-serif;font-size:inherit;border:1px solid #5f5f5f;border-radius:6px;font-weight:550;background-color:#3a3a3a;color:#fff;appearance:none;-webkit-appearance:none;-moz-appearance:none;background-image:url('data:image/svg+xml;utf8,');background-repeat:no-repeat;background-position:right 10px center;background-size:16px;cursor:pointer;width:100%;box-sizing:border-box}.custom-select option:focus{outline:none;box-shadow:none}.custom-select select:focus{outline:none;box-shadow:none}#settings_window{display:none;position:fixed;color:#fff;font-family:Jura,sans-serif;padding:20px;top:50%;left:50%;width:500px;height:auto;transform:translate(-50%,-50%);border-radius:10px;background-color:#1a1a1adb;box-shadow:0 8px 32px #0000005e;backdrop-filter:blur(4px);-webkit-backdrop-filter:blur(4px);z-index:5000}.settings_window-container{display:grid;grid-template-columns:220px 1fr;row-gap:10px;column-gap:0;font-size:14px}.sw_1st_column_items{font-size:inherit;padding-top:.5em;padding-bottom:.5em;width:100%}.setting-window-right{display:grid;row-gap:10px;overflow:hidden}.dropdown-item-container{color:inherit;text-decoration:none;white-space:nowrap;outline:none;overflow:hidden;background:none;border:0;padding:0}.equation{width:100%;margin:0;padding:0;position:relative;overflow-x:auto;overflow-y:hidden;white-space:nowrap}mjx-container[jax=CHTML][display=true]{margin:.5em 0}.MathJax{font-size:18px!important}.mathjax-definition{display:none}.theorem,.problem,.definition{position:relative;border-radius:4px;margin:30px 0;padding:3.5rem 1rem 1rem;box-sizing:border-box;overflow:hidden}.theorem:before,.problem:before,.definition:before{position:absolute;top:0;left:0;width:100%;padding:.5rem;font-weight:700;box-sizing:border-box}.theorem{border:1px solid #008195}.theorem:before{counter-increment:theorem;background-color:#00b8d433;content:"Theorem " counter(theorem) attr(data-theorem-name) ". "}.definition{border:1px solid #006a27}.definition:before{counter-increment:def;background-color:#00d41c33;content:"Definition " counter(def) attr(data-definition-name) ". "}.lemma{border:1px solid #008195;margin:20px 0;padding:.5rem;border-radius:4px}.problem{border:1px solid rgba(113,0,212)}.problem:before{counter-increment:problem;background-color:#7100d433;content:"Problem " counter(problem) ". "}.solution{border:1px solid #5b5b5b;border-radius:4px;box-sizing:border-box;position:relative;user-select:none;-webkit-user-select:none;-ms-user-select:none}.solution>*:not(summary){padding:0 1rem 1rem}.solution summary{cursor:pointer;list-style:none;display:flex;align-items:center;padding:10px;font-weight:700}.solution>div{line-height:1.6}.solution summary:after{content:"";width:10px;height:10px;background-image:url('data:image/svg+xml;utf8,');background-repeat:no-repeat;background-size:100% 100%;margin-left:.75em}html.dark-mode .solution summary:after{background-image:url('data:image/svg+xml;utf8,')}.solution[open]>summary:after{transform:rotate(180deg)}.solution summary::-webkit-details-marker{display:none}.solution[open] summary{border-radius:4px 4px 0 0}.solution ol,.solution ul{margin-left:2rem;padding-left:0}.solution li{padding-left:.5rem}.inline-code{font-size:13px;background-color:var(--inline-code-color);padding:2px;border-radius:4px;border:1px solid var(--box-border)}code[class*=language-],pre[class*=language-],body.light-mode code[class*=language-],body.light-mode pre[class*=language-],html.dark-mode code[class*=language-],html.dark-mode pre[class*=language-]{font-size:12px;line-height:1.5}.box{position:relative;max-width:50em;min-width:10px;min-height:10px;padding:15px;border:1px solid var(--box-border);box-shadow:0 2px 10px #0000001a;background-color:var(--code-box-color);border-radius:4px;margin:20px auto}.code-container{position:relative;width:100%;height:100%}pre{border:1px solid var(--box-border)!important;border-radius:7px;padding:0;margin:0!important;position:relative}.console{line-height:2;overflow-x:auto;background-color:var(--pre-color);font-size:12px;text-align:left}.copy-btn{position:absolute;top:5px;right:5px;background:var(--body-background-color);color:#4c83ee;border:1px solid #4c83ee;width:58px;height:26px;border-radius:5px;font-size:14px;font-weight:700;padding:1px;cursor:pointer;z-index:500}.copy-btn:hover{background-color:#4c83ee;color:#fff}.tab-button-container{overflow-x:auto;overflow-y:hidden;white-space:nowrap}.tab-button{-webkit-border-radius:4px 4px 0px 0px;border-radius:4px 4px 0 0;background-color:var(--pre-color);border:0px;border-bottom:1px solid var(--pre-color);margin:0!important;min-width:80px;font-size:16px;padding:.3rem;color:inherit;font-family:inherit}.tab-effect{border-bottom:2px solid #4c83ee;background-color:var(--tab-color)}.bullet{margin:var(--in-page-li-spacing) 0;padding-left:0}.bullet ul{padding-left:15px;margin-left:0}ol.reference{justify-self:start;line-height:1.6;position:relative;text-align:justify;counter-reset:item;padding-left:0}ol.reference li{display:block;text-align:left;margin-bottom:.5em;margin-left:2em;word-wrap:break-word;overflow-wrap:break-word;-webkit-hyphens:auto;-moz-hyphens:auto;-ms-hyphens:auto;hyphens:auto}ol.reference li:before{display:inline-block;text-align:left;content:"[" counter(item) "] ";counter-increment:item;width:2em;margin-left:-2em}ol.steps{line-height:1.6;counter-reset:step;list-style:none}ol.steps .step:before{margin:10px 0;display:inline-block;content:"STEP " counter(step) ". ";counter-increment:step}.Quote{width:80%;margin:3em auto;padding:4px;font-style:italic;font-family:serif;position:relative}.Quote-content{font-size:1.1em;-webkit-hyphens:auto;-moz-hyphens:auto;-ms-hyphens:auto;hyphens:auto;padding-left:25px;padding-right:25px}.Author{font-size:1.1em;text-align:right;position:relative}.Quote:after{position:absolute;content:"";background:var(--underline-color);height:100%;width:2px;bottom:0;left:0}table{margin:16px 0;border-collapse:collapse}.table-wrapper{overflow-x:auto}table,th,td{border:0;border-left:none;border-right:none}th,td{padding-top:5px;padding-bottom:5px}.th{text-align:center;vertical-align:middle}footer{left:0;right:0;bottom:0;width:100%;background-color:#111;color:#fff;text-align:center;padding-top:25px;padding-bottom:20px}.footer-container{font-family:Computer-Modern,Arial;font-style:normal;display:flex;flex-direction:column;justify-content:center;align-items:center}.social-media-footer{margin:10px 0}.social-media-footer a{color:#fff;margin:0 8px;text-decoration:none}.footer-block{flex:1;padding:10px;display:flex;font-size:15px;flex-direction:column;align-items:center}.footer-items{display:flex;justify-content:center;align-items:center;padding:5px}#rec-article-container{display:grid;grid-template-columns:1fr 1fr;grid-gap:10px;padding:20px 10px;max-width:100%;margin:0 auto}.article{position:relative;display:flex;flex-direction:column;padding:10px 10px 5px;text-decoration:none;transition:transform .2s ease;color:#000;margin:0;height:auto}.article-image-container{padding:0;overflow:hidden;border-radius:.5rem}.article img{width:100%;height:100%;transition:transform .2s ease;object-fit:cover;border-radius:.5rem}.article:hover .article-image-container img{transform:scale(1.03)}.article:hover .article-name{text-decoration:underline}.article-name{font-size:19px;margin:10px 0 0;text-align:left;color:var(--article-name-color);font-weight:700;padding-bottom:10px;justify-content:center}.article-topic{font-size:12px;color:var(--article-date-color);margin-top:2px;margin-right:2px;font-weight:700;padding-bottom:10px}.article-description{margin-top:0;margin-bottom:0;font-size:15px;line-height:1.4;color:var(--grid-text-color);text-align:justify;-webkit-hyphens:auto;-moz-hyphens:auto;-ms-hyphens:auto;hyphens:auto}.article-date{margin-top:10px;margin-bottom:10px;font-size:12px;text-align:left;font-style:italic;color:var(--article-date-color)}.home-h3-headers{font-size:1.5em;border-bottom:1px solid var(--contrast-line-color);margin-top:10px;margin-bottom:10px;padding-top:10px;padding-bottom:10px}.home-title{font-size:2.3em;font-family:var(--top-bar-font)}.title{font-family:var(--top-bar-font);padding-bottom:5px;padding-top:30px}#post-container ul{padding-left:40px}.post{text-decoration:none;color:inherit}.post:hover{cursor:pointer}.post-date{color:var(--nav-bar-text-color)}.post:hover h3{text-decoration:underline;text-decoration-thickness:1px}.post-header-row{display:flex;flex-direction:row;justify-content:space-between;align-items:center;flex-wrap:nowrap}.post-header-row h3,.post-header-row .post-date{margin:0}.post-date{position:relative;white-space:nowrap}.post-title{padding-top:30px;font-size:2em}.post-header-row{display:flex;justify-content:space-between;align-items:baseline}.post-link{color:inherit;text-decoration:none}@media all and (min-width:1800px){:root{--top-bar-height: 70px}.material-container{max-width:70%}.search-bar-container{max-width:700px}}@media all and (max-width:1385px){.equation{overflow-y:hidden}.content-grid{width:60vw}.image{width:100%;max-width:100%}.right{padding-left:0}.top-buttons,.dropbtn{font-size:1.35em}}@media all and (max-width:1200px){.buttons-container{width:80px}.content-grid{width:80%}:root{--side-nav-width: 350px}.top-nav{justify-content:start;height:var(--top-bar-height)}body,body.nav-open{padding-left:0;padding-right:0}.right{width:100%}.toggle-btn:hover .bar{background-color:#fff}.top-buttons:hover,.dropbtn:hover{color:#fff}.home-banner{min-height:100px;height:350px}.search-bar{display:none}.search-bar-mobile{display:inline-block}}@media all and (max-width:1080px){.content-grid{width:90%}.search-bar-container{width:100%;max-width:100%}.side-nav{display:block}.left{display:none}.footer-title{width:20%}.image-block{width:80%!important}.banner-title{font-size:2.3rem}.right{max-width:none}}@media all and (max-width:580px){.buttons-container{gap:6px;width:50px;padding-left:7px}.rss{display:none}:root{--side-nav-width: 330px;--gear-button-height: 25px}.switch{display:block;margin:0;padding:0}h1.title,h1.home-title{font-size:1.9em}h2{font:1.4em}h3{font-size:1.3em}body,body.nav-open{padding-left:0;padding-right:0}pre[class*=language-],.dark-mode pre[class*=language-]{font-size:10px;line-height:1.5}.box{width:85%;max-width:100%}.two-columns-block{flex-direction:column}.image-block{width:100%!important}#settings_window{max-width:80%}.settings_window-container{grid-template-columns:150px 1fr;font-size:12px}.custom-select select{height:30px}#rec-article-container{grid-template-columns:1fr;margin:0;gap:20px;padding-left:5px;padding-right:5px}.dropdown-item{font-size:.8em}figure{padding:0;margin:0}.Quote{width:100%}.Quote-content{font-size:1.1em}.Author{font-size:1em}.banner-title{font-size:1.2rem}.home-banner{min-height:100px;height:200px}.banner-title:after{height:2px}#post-container ul{padding-left:10px}.post-header-row{flex-direction:column;align-items:start}.autocomplete-dropdown{max-height:50vh}table{width:100%!important}}