body[a="dark"]{background-color:#0c0c0c;color:#eaeaea}body[a="dark"] a{color:#4990fc;text-decoration:none}body[a="dark"] a:visited{color:#94befc}body[a="dark"] a:hover{text-decoration:underline}body[a="dark"] details summary{color:#4990fc;text-decoration:none}body[a="dark"] .site-title{color:#eaeaea}body[a="dark"] article h1,body[a="dark"] article h2,body[a="dark"] article h3{color:#4990fc}body[a="dark"] code:not(pre>code){background-color:#eaeaea;color:#0c0c0c}body[a="dark"] *:target{background:#042659;color:#eaeaea}body[a="dark"] table,body[a="dark"] th,body[a="dark"] td{border:thin solid #eaeaea}body[a="dark"] .toc{border:thin solid #4990fc;padding:1rem}body[a="dark"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="dark"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#4990fc;color:#0c0c0c;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="dark"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="dark"] a.home-button:visited{color:#0c0c0c}body[a="dark"] .post-date{color:#eaeaea;font-size:0.9rem}body[a="dark"] .ascii{font-size:65%;line-height:1;background:#0c0c0c}body[a="dark"] figcaption{color:#333}body[a="light"]{background-color:#fff;color:#212121}body[a="light"] a{color:#06f;text-decoration:none}body[a="light"] a:visited{color:#004dc1}body[a="light"] a:hover{text-decoration:underline}body[a="light"] details summary{color:#06f;text-decoration:none}body[a="light"] .site-title{color:#212121}body[a="light"] article h1,body[a="light"] article h2,body[a="light"] article h3{color:#06f}body[a="light"] code:not(pre>code){background-color:#212121;color:#fff}body[a="light"] *:target{background:#ff0;color:#212121}body[a="light"] table,body[a="light"] th,body[a="light"] td{border:thin solid #212121}body[a="light"] .toc{border:thin solid #06f;padding:1rem}body[a="light"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="light"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#06f;color:#fff;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="light"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="light"] a.home-button:visited{color:#fff}body[a="light"] .post-date{color:#212121;font-size:0.9rem}body[a="light"] .ascii{font-size:65%;line-height:1;background:#fff}body[a="light"] figcaption{color:#dfedff}body[a="matrix"]{background-color:#000;color:#ececec}body[a="matrix"] a{color:#d4fb5f;text-decoration:none}body[a="matrix"] a:visited{color:#d4fb5f}body[a="matrix"] a:hover{text-decoration:underline}body[a="matrix"] details summary{color:#d4fb5f;text-decoration:none}body[a="matrix"] .site-title{color:#c4ffc6}body[a="matrix"] article h1,body[a="matrix"] article h2,body[a="matrix"] article h3{color:#d4fb5f}body[a="matrix"] code:not(pre>code){background-color:#ececec;color:#000}body[a="matrix"] *:target{background:#007A35;color:#ececec}body[a="matrix"] table,body[a="matrix"] th,body[a="matrix"] td{border:thin solid #ececec}body[a="matrix"] .toc{border:thin solid #d4fb5f;padding:1rem}body[a="matrix"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="matrix"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#d4fb5f;color:#000;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="matrix"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="matrix"] a.home-button:visited{color:#000}body[a="matrix"] .post-date{color:#ececec;font-size:0.9rem}body[a="matrix"] .ascii{font-size:65%;line-height:1;background:#000}body[a="matrix"] figcaption{color:#161616}body[a="bear"]{background-color:#01242e;color:#eee}body[a="bear"] a{color:#8cc2dd;text-decoration:none}body[a="bear"] a:visited{color:#8cc2dd}body[a="bear"] a:hover{text-decoration:underline}body[a="bear"] details summary{color:#8cc2dd;text-decoration:none}body[a="bear"] .site-title{color:#eee}body[a="bear"] article h1,body[a="bear"] article h2,body[a="bear"] article h3{color:#8cc2dd}body[a="bear"] code:not(pre>code){background-color:#eee;color:#01242e}body[a="bear"] *:target{background:#003544;color:#eee}body[a="bear"] table,body[a="bear"] th,body[a="bear"] td{border:thin solid #eee}body[a="bear"] .toc{border:thin solid #8cc2dd;padding:1rem}body[a="bear"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="bear"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#8cc2dd;color:#01242e;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="bear"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="bear"] a.home-button:visited{color:#01242e}body[a="bear"] .post-date{color:#eee;font-size:0.9rem}body[a="bear"] .ascii{font-size:65%;line-height:1;background:#01242e}body[a="bear"] figcaption{color:#eee}body[a="together"]{background-color:#28010e;color:#db9ab1}body[a="together"] a{color:#c61783;text-decoration:none}body[a="together"] a:visited{color:#c61783}body[a="together"] a:hover{text-decoration:underline}body[a="together"] details summary{color:#c61783;text-decoration:none}body[a="together"] .site-title{color:#c61783}body[a="together"] article h1,body[a="together"] article h2,body[a="together"] article h3{color:#c61783}body[a="together"] code:not(pre>code){background-color:#db9ab1;color:#28010e}body[a="together"] *:target{background:#6d0326;color:#db9ab1}body[a="together"] table,body[a="together"] th,body[a="together"] td{border:thin solid #db9ab1}body[a="together"] .toc{border:thin solid #c61783;padding:1rem}body[a="together"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="together"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#c61783;color:#28010e;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="together"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="together"] a.home-button:visited{color:#28010e}body[a="together"] .post-date{color:#db9ab1;font-size:0.9rem}body[a="together"] .ascii{font-size:65%;line-height:1;background:#28010e}body[a="together"] figcaption{color:#db9ab1}@media (prefers-color-scheme: dark){body[a="auto"]{background-color:#0c0c0c;color:#eaeaea}body[a="auto"] a{color:#4990fc;text-decoration:none}body[a="auto"] a:visited{color:#94befc}body[a="auto"] a:hover{text-decoration:underline}body[a="auto"] details summary{color:#4990fc;text-decoration:none}body[a="auto"] .site-title{color:#eaeaea}body[a="auto"] article h1,body[a="auto"] article h2,body[a="auto"] article h3{color:#4990fc}body[a="auto"] code:not(pre>code){background-color:#eaeaea;color:#0c0c0c}body[a="auto"] *:target{background:#042659;color:#eaeaea}body[a="auto"] table,body[a="auto"] th,body[a="auto"] td{border:thin solid #eaeaea}body[a="auto"] .toc{border:thin solid #4990fc;padding:1rem}body[a="auto"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="auto"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#4990fc;color:#0c0c0c;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="auto"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="auto"] a.home-button:visited{color:#0c0c0c}body[a="auto"] .post-date{color:#eaeaea;font-size:0.9rem}body[a="auto"] .ascii{font-size:65%;line-height:1;background:#0c0c0c}body[a="auto"] figcaption{color:#333}}@media (prefers-color-scheme: light){body[a="auto"]{background-color:#fff;color:#212121}body[a="auto"] a{color:#06f;text-decoration:none}body[a="auto"] a:visited{color:#004dc1}body[a="auto"] a:hover{text-decoration:underline}body[a="auto"] details summary{color:#06f;text-decoration:none}body[a="auto"] .site-title{color:#212121}body[a="auto"] article h1,body[a="auto"] article h2,body[a="auto"] article h3{color:#06f}body[a="auto"] code:not(pre>code){background-color:#212121;color:#fff}body[a="auto"] *:target{background:#ff0;color:#212121}body[a="auto"] table,body[a="auto"] th,body[a="auto"] td{border:thin solid #212121}body[a="auto"] .toc{border:thin solid #06f;padding:1rem}body[a="auto"] .post-footer-bar{display:flex;justify-content:space-between;align-items:center;margin:1.5rem 0}body[a="auto"] a.home-button{display:inline-block;padding:0.3rem 0.8rem;background-color:#06f;color:#fff;font-weight:bold;text-decoration:none;white-space:nowrap}body[a="auto"] a.home-button:hover{opacity:0.8;text-decoration:none}body[a="auto"] a.home-button:visited{color:#fff}body[a="auto"] .post-date{color:#212121;font-size:0.9rem}body[a="auto"] .ascii{font-size:65%;line-height:1;background:#fff}body[a="auto"] figcaption{color:#dfedff}}html{height:100%}body{font-family:monospace;font-size:16px;line-height:1.4;margin:0;min-height:80%;overflow-wrap:break-word}.post-meta{text-align:right}.back-and-meta{margin-top:2rem;display:flex;justify-content:space-between;align-items:center}h2,h3,h4,h5,h6{margin-top:0.5rem}hr{margin:2rem 0}p{margin:1rem 0}li{margin:0.4rem 0}.w{max-width:700px;margin:0 auto;padding:0rem 2rem}.toc{padding:1rem}hr{text-align:center;border:0}hr:before{content:'•••'}hr:after{content:attr(data-content) "•••"}pre{background:black;padding:1em;overflow-x:auto}table{width:100%}table,th,td{border:thin solid black;border-collapse:collapse;padding:0.4rem}code:not(pre>code){padding:0.1em 0.2em;font-size:90%}code.has-jax{-webkit-font-smoothing:antialiased;background:inherit !important;border:none !important;font-size:100%}blockquote{font-style:italic;border:thin solid black;padding:1rem}blockquote p{margin:0}img{max-width:100%;display:block;margin:0 auto}figcaption{text-align:center;opacity:0.5}.site-header{margin-bottom:0.5rem}.site-title{margin-bottom:0.1rem;font-size:2rem}.header-nav{display:flex;justify-content:space-between;align-items:center;margin-top:0.1rem;flex-wrap:wrap}.menu-links{display:flex;gap:1rem}.language-switcher{display:flex;gap:0.5rem}