@import url("syntax-theme-b.css") (prefers-color-scheme: dark);@import url("syntax-theme-w.css") (prefers-color-scheme: light);@font-face{font-family:"Libre Baskerville";src:url("/fonts/LibreBaskerville-Regular.eot");src:url("/fonts/LibreBaskerville-Regular.eot?#iefix") format("embedded-opentype"),url("/fonts/LibreBaskerville-Regular.woff2") format("woff2"),url("/fonts/LibreBaskerville-Regular.woff") format("woff"),url("/fonts/LibreBaskerville-Regular.ttf") format("truetype");font-weight:400;font-style:normal}@font-face{font-family:"Libre Baskerville";src:url("/fonts/LibreBaskerville-Italic.eot");src:url("/fonts/LibreBaskerville-Italic.eot?#iefix") format("embedded-opentype"),url("/fonts/LibreBaskerville-Italic.woff2") format("woff2"),url("/fonts/LibreBaskerville-Italic.woff") format("woff"),url("/fonts/LibreBaskerville-Italic.ttf") format("truetype");font-weight:400;font-style:italic}@font-face{font-family:"Libre Baskerville";src:url("/fonts/LibreBaskerville-Bold.eot");src:url("/fonts/LibreBaskerville-Bold.eot?#iefix") format("embedded-opentype"),url("/fonts/LibreBaskerville-Bold.woff2") format("woff2"),url("/fonts/LibreBaskerville-Bold.woff") format("woff"),url("/fonts/LibreBaskerville-Bold.ttf") format("truetype");font-weight:700;font-style:normal}@font-face{font-family:"Fira Mono";src:url("/fonts/FiraMono-Regular.eot");src:url("/fonts/FiraMono-Regular.eot?#iefix") format("embedded-opentype"),url("/fonts/FiraMono-Regular.woff2") format("woff2"),url("/fonts/FiraMono-Regular.woff") format("woff"),url("/fonts/FiraMono-Regular.ttf") format("truetype");font-weight:400;font-style:normal}:root{--font-content: "Libre Baskerville", serif;--font-mono: "Fira Mono", monospace;--line-width: 1px;--spacing: 0.5em}@media (prefers-color-scheme: light){:root{--fore-color: #202020;--fore-color-filter: invert(6%) sepia(22%) saturate(0%) hue-rotate(346deg) brightness(105%) contrast(87%);--back-color: #fefefe;--logo-color: #fcddbc;--line-color: #cecdb5;--link-color: #800000}}@media (prefers-color-scheme: dark){:root{--fore-color: #cbe4de;--fore-color-filter: invert(92%) sepia(21%) saturate(155%) hue-rotate(113deg) brightness(96%) contrast(88%);--back-color: #002b36;--logo-color: #2e4f4f;--line-color: #204b56;--link-color: #2aa198}}*,*:before,*:after{box-sizing:inherit}html,body,ul,ol,li{box-sizing:border-box;margin:0;padding:0}body{color:var(--fore-color);background-color:var(--back-color);font-size:16px;line-height:1.8em}ul,ol{list-style-position:inside;padding:var(--spacing) 0}li{margin-left:var(--spacing);padding-left:var(--spacing);overflow:hidden;white-space:nowrap;text-overflow:"..."}a,a:link,a:visited,a:focus,a:active{color:var(--link-color);outline:none;text-decoration:none}blockquote{margin:0;padding-left:1em;border-left:calc(3*var(--line-width)) solid var(--line-color)}#main{display:flex;flex-direction:column;font-family:var(--font-content);margin:auto;max-width:800px;padding:0 calc(var(--spacing)*2)}.header{align-items:center;column-gap:var(--spacing);display:flex;justify-content:stretch;padding:calc(var(--spacing)*2) 0}.header .icon{height:40px;width:40px;-webkit-user-select:none;user-select:none}.header .logo{height:40px;-webkit-user-select:none;user-select:none}.header .invert{filter:var(--fore-color-filter)}.header .description{font-size:1.8em}.pinned{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);column-gap:calc(2*var(--spacing));display:flex;justify-content:flex-end;padding:var(--spacing)}.pinned a{display:list-item;list-style-position:inside;list-style-type:"📌"}.pinned a .pinned-item-content{padding-left:var(--spacing)}.search{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);display:none;padding:var(--spacing);position:relative}.search input[type=search]{-moz-appearance:none;-webkit-appearance:none;appearance:none}.search input[type=search]::-webkit-search-decoration,.search input[type=search]::-webkit-search-cancel-button,.search input[type=search]::-webkit-search-results-button,.search input[type=search]::-webkit-search-results-decoration{display:none}.search .search-box{color:var(--fore-color);background-color:var(--back-color);border:var(--line-width) solid var(--line-color);outline:none;padding:var(--spacing);width:100%;border-radius:9px}.search .search-results{background-color:var(--back-color);box-shadow:inset 0 0 3px 1px var(--line-color);display:none;padding:var(--spacing);overflow:auto;max-height:400px;position:absolute;right:var(--spacing);width:calc(100% - 2*var(--spacing));z-index:10}.search .search-results .search-results-items{display:flex;flex-direction:column;list-style:none}.search .search-results .search-results-items li{padding:0;margin:0}.search .search-results .search-results-items .search-results-item .search-results-item-title{background-color:var(--logo-color);padding:calc(var(--spacing))}.search .search-results .search-results-items .search-results-item .search-results-item-snippet{padding:calc(var(--spacing));padding-bottom:calc(var(--spacing)*2)}.nav{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);column-gap:calc(4*var(--spacing));display:flex;justify-content:stretch;padding:calc(var(--spacing)*2) var(--spacing)}.nav .older,.nav .newer{font-family:var(--font-mono);user-select:none}.nav .newer{text-align:right;flex:1}.nav .older{text-align:left}.content h1{font-size:1.4em;font-weight:normal;padding-bottom:calc(var(--spacing)/2)}.content h2{font-size:1.3em}.content img{display:block;max-width:100%;border:var(--line-width) solid var(--line-color);margin:calc(2*var(--spacing)) auto}.content p img+em{display:block;padding:var(--spacing) 0;text-align:center}.content p img+em::before{content:"Figure: ";font-weight:bolder}.content p.gallery{display:flex}.content p.gallery img{filter:none;padding:0;column-gap:var(--spacing)}.content p.gallery img.w-1-4{max-width:calc(25% - 3*var(--spacing)/2)}.content p.gallery img.w-1-3{max-width:calc(33.33% - 4*var(--spacing)/3)}.content p.gallery img.w-1-2{max-width:calc(50% - var(--spacing))}.content .page-title{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);font-size:x-large;padding:calc(var(--spacing)*2) var(--spacing)}.content .post,.content .comment{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);padding:calc(var(--spacing)*2) var(--spacing)}.content .post-title,.content .comment-title{font-size:x-large;padding:var(--spacing) 0}.content .post-date,.content .comment-date{display:flex;flex-direction:column;font-size:small;padding:var(--spacing) 0}.content .post-reading-time{text-align:right}.content .post-content,.content .comment-content{-webkit-hyphens:auto;hyphens:auto;padding:calc(var(--spacing)*2) 0;text-align:left}.content .post-tags{display:flex;column-gap:var(--spacing);font-size:x-small}.content .rule{border-top:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);margin:calc(var(--spacing)*2) 0}.content .msgbox{display:flex;flex-direction:column}.content .msgbox .msg{font-style:italic;padding-top:calc(var(--spacing)*8);text-align:center}.content .msgbox .map{padding-top:calc(var(--spacing)*8);width:100%}.content .lstbox{margin-top:calc(var(--spacing)*2)}.content .footnote-definition{font-size:smaller}.content .footnote-definition p{display:inline;margin:0 var(--spacing)}.content th,.content td{text-align:left !important;border:.5px solid #999;padding:5px}.content table{border-collapse:collapse}.content ul,.content li{white-space:normal}.footer{border:var(--line-width) solid rgba(0,0,0,0);border-top-color:var(--line-color);padding:calc(var(--spacing)*2) 0;text-align:center}.tag{font-family:var(--font-mono)}