.wallpaper{position:fixed;inset:0;background-image:url(/images/wallpaper.png);background-repeat:no-repeat;background-size:auto 120%;background-position:50% 0;background-size:cover}.wallpaper_blur{position:fixed;inset:0;backdrop-filter:blur(200px);-webkit-backdrop-filter:blur(200px);background:rgba(0,0,0,.5)}:root{--black:#222;--blue:#87ceeb;--green:#819a4f;--orange:#D1A980;--grey:#808080;--white:#F8F8F8;--code-bg:rgba(40, 44, 52, 1);--code-border:#808080;--codeblk-bg:#272822;--codeblk-border:#A1A3A6;--width-min:800px;--header-height:6.5rem}html,body{min-width:var(--width-min);height:100%;color:var(--white);background-color:var(--black);font-family:sans-serif;font-size:1rem;line-height:1.5;margin:0;padding:0}header{z-index:1000;position:fixed;height:var(--header-height);top:0;width:100%;text-align:center;color:var(--black);background-color:var(--green);margin:0;padding:1px}.header-menu{display:flex;position:absolute;top:2px;left:8px;flex-direction:column}.nav,.nav a{color:var(--black);padding-top:.2rem;margin:.2rem 0;line-height:1.15}.nav:hover{color:var(--orange)}.navlist{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;justify-content:flex-start;align-items:flex-start;line-height:1.1}.navlist li{margin:.2rem}.header-search{position:absolute;top:2px;right:8px;display:flex;align-items:center;gap:.3rem}#article-search input{padding:.4rem .6rem;font-size:.9rem;border:1px solid #ccc;border-radius:4px;min-width:160px}#article-search button{padding:.3rem .6rem;font-size:.9rem}#hit-count{min-width:5em;text-align:right;font-size:.8rem}mark{background:#ffeb3b;color:inherit;padding:0 .08em}mark.mark-current{background:#ff5722;color:#fff;box-shadow:0 0 0 2px rgba(255,87,34,.4)}.container{display:flex;position:relative;flex-direction:column;min-height:100%;padding-top:var(--header-height);z-index:1;border-radius:12px}main{flex:1;font-size:1.2rem;width:var(--width-min);margin:0 auto;padding:1rem}footer{color:var(--white);background-color:var(--black);padding:1px;width:100%}.list{width:var(--width-min);padding-bottom:1em;border-bottom:1px solid var(--grey);border-left-style:none;padding-left:0}a{color:var(--blue);text-decoration:none}a:hover{color:var(--orange)}img{max-width:100%;height:auto;display:block}ul.pagination{text-align:center}ul.pagination li.page-item{display:inline;text-align:center}ul.pagination li.page-item.active{border-bottom:2px solid #ccc;padding:2px}ul.pagination li.page-item.disabled a{color:var(--white)}.tag{background-color:var(--white);color:var(--black);border:none;padding:1em 1.5em;margin:.5em;cursor:pointer;transition:background-color .1s;border-radius:10px}.tag.active{background-color:var(--orange)}h2{border-left:10px solid var(--green);padding-left:1rem}h3{border-bottom:3px solid var(--green)}table{border-collapse:collapse;border:1px solid var(--grey)}th,td{border:1px solid var(--grey);padding:8px}.post-tags{margin:-1em 0 0 -.5rem;padding:0;list-style:none;display:flex;flex-wrap:wrap;gap:0}.post-tag{background-color:var(--white);color:var(--black);border:none;padding:.5em 1em;margin:.5em;transition:background-color .1s;border-radius:20px}.math-block-wrapper{max-width:100%;overflow-x:auto;overflow-y:hidden;-webkit-overflow-scrolling:touch}mjx-container{margin:.5rem}mjx-container[jax=CHTML][display=true]{overflow-x:auto;overflow-y:hidden;display:block;max-width:100%;padding:1rem 0}li code,p code{background-color:var(--code-bg);border-radius:4px;padding:4px;margin-left:4px;margin-right:4px}pre{background-color:var(--code-bg);border-bottom-left-radius:8px;border-bottom-right-radius:8px;padding:1rem;overflow-x:auto;position:relative;margin:0}.codeblock-with-copy{position:relative;margin:1.5rem 0}.codeblock-header{display:flex;justify-content:flex-end;background-color:var(--green);border-top-left-radius:8px;border-top-right-radius:8px;padding:.25rem .6rem;font-size:.75rem}.code-copy-button{padding:.3rem .5rem;margin:0 -4rem rem 0;font-size:1rem;border-radius:4px;border:none;background-color:var(--code-bg);color:var(--blue);cursor:pointer}.code-copy-button:hover{color:var(--orange)}@media(max-width:600px){.header-search{justify-content:flex-end;margin-top:.5rem}#article-search{width:100%;justify-content:flex-end}#article-search input{width:100%}}@media(max-width:750px){mjx-math.MJX-TEX{font-size:55% !important}mjx-container[jax=CHTML][display=true] mjx-math.MJX-TEX{font-size:70% !important}} .bg{color:#f8f8f2;background-color:#272822}.chroma{color:#f8f8f2;background-color:#272822}.chroma .err{color:#960050;background-color:#1e0010}.chroma .lnlinks{outline:none;text-decoration:none;color:inherit}.chroma .lntd{vertical-align:top;padding:0;margin:0;border:0}.chroma .lntable{border-spacing:0;padding:0;margin:0;border:0}.chroma .hl{background-color:#3c3d38}.chroma .lnt{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .ln{white-space:pre;-webkit-user-select:none;user-select:none;margin-right:.4em;padding:0 .4em;color:#7f7f7f}.chroma .line{display:flex}.chroma .k{color:#66d9ef}.chroma .kc{color:#66d9ef}.chroma .kd{color:#66d9ef}.chroma .kn{color:#f92672}.chroma .kp{color:#66d9ef}.chroma .kr{color:#66d9ef}.chroma .kt{color:#66d9ef}.chroma .na{color:#a6e22e}.chroma .nc{color:#a6e22e}.chroma .no{color:#66d9ef}.chroma .nd{color:#a6e22e}.chroma .ne{color:#a6e22e}.chroma .nx{color:#a6e22e}.chroma .nt{color:#f92672}.chroma .nf{color:#a6e22e}.chroma .fm{color:#a6e22e}.chroma .l{color:#ae81ff}.chroma .ld{color:#e6db74}.chroma .s{color:#e6db74}.chroma .sa{color:#e6db74}.chroma .sb{color:#e6db74}.chroma .sc{color:#e6db74}.chroma .dl{color:#e6db74}.chroma .sd{color:#e6db74}.chroma .s2{color:#e6db74}.chroma .se{color:#ae81ff}.chroma .sh{color:#e6db74}.chroma .si{color:#e6db74}.chroma .sx{color:#e6db74}.chroma .sr{color:#e6db74}.chroma .s1{color:#e6db74}.chroma .ss{color:#e6db74}.chroma .m{color:#ae81ff}.chroma .mb{color:#ae81ff}.chroma .mf{color:#ae81ff}.chroma .mh{color:#ae81ff}.chroma .mi{color:#ae81ff}.chroma .il{color:#ae81ff}.chroma .mo{color:#ae81ff}.chroma .o{color:#f92672}.chroma .ow{color:#f92672}.chroma .c{color:#75715e}.chroma .ch{color:#75715e}.chroma .cm{color:#75715e}.chroma .c1{color:#75715e}.chroma .cs{color:#75715e}.chroma .cp{color:#75715e}.chroma .cpf{color:#75715e}.chroma .gd{color:#f92672}.chroma .ge{font-style:italic}.chroma .gi{color:#a6e22e}.chroma .gs{font-weight:700}.chroma .gu{color:#75715e}