:root{--sidenav-width:256px;--main-color:#CAD8DE;--title-color:#CAD8DE;--fade-color:#BE5A38;--bg-color:#171219;--alt-color:#BE5A38;--alt-color-2:#BE5A38;--math-bg:black;--code-bg:black;--banner-height:132px;--post-max-width:720px}@font-face{font-family:IosevkaReg;src:url("/fonts/IosevkaReg.ttf")}html{box-sizing:border-box}*,*::before,*::after{box-sizing:inherit}body{background-color:var(--bg-color);color:var(--main-color);font-family:IosevkaReg;line-height:1.5}main{margin:0 90px;margin-top:85px;margin-bottom:65px}a{text-decoration:none;color:var(--alt-color)}a:hover{text-decoration:underline}h1,h2,h3,h4,h5,h6{color:var(--title-color);font-family:IosevkaReg;margin-top:48px;text-transform:uppercase}code,pre{font-family:IosevkaReg}blockquote{padding-left:10px;border-left:0.25em solid #a5a5a5;opacity:.65;width:85%}#pres-image{float:right;width:300px;margin-left:1em}#main-content{margin-left:var(--sidenav-width)}#site-footer>#text>p{margin:0}#site-footer>#text>p:first-child{margin-bottom:3px}#site-footer>#social-icons{margin-bottom:15px}#site-header{display:flex;flex-direction:column;height:var(--banner-height);justify-content:center}#site-title{color:var(--title-color);font-family:IosevkaReg;font-size:24px;line-height:1.8;margin:0;text-transform:uppercase}#site-nav>ul{list-style-type:none;margin:0;padding:0}#site-nav>ul>li:nth-child(n+2){margin-top:12px}#site-nav>ul a{color:inherit;font-size:18px;text-decoration:none}#site-nav>ul a:hover{color:var(--alt-color)}#site-nav{border-bottom:2px solid #808080;border-top:2px solid #808080;padding-bottom:24px;padding-top:24px}#site-footer{bottom:0;position:absolute;margin-bottom:13px;text-align:center;width:100%;z-index:-1}#sidebar{border-right:1px solid var(--main-color);height:100%;left:0;overflow:hidden;position:fixed;top:0;width:var(--sidenav-width)}#sidebar-top{display:inline-block}#sidebar-top-container{background-color:var(--bg-color);display:flex;justify-content:center}.social-icon{color:var(--title-color);display:inline-block;width:22px}.social-icon:nth-child(n+2){margin-left:18px}.social-icon:hover{color:var(--alt-color)}#banner{background-image:url("/images/kandinsky.webp");background-repeat:repeat-x;height:var(--banner-height)}.post{max-width:var(--post-max-width)}.post-title{margin:0}.post-meta{margin-bottom:36px}.post-date{color:var(--fade-color)}.post-tags{margin-top:8px}.post-tags-icon{margin-right:5px;transform:translateY(4px);width:16px}.post-tags-list{display:inline;list-style-type:none;margin:0;padding:0}.post-tags-list>li{display:inline-block}.post-tag{background-color:var(--alt-color);border:1px solid var(--alt-color-2);border-radius:10px;color:var(--bg-color);display:block;font-size:10pt;line-height:1;padding:1px 12px;padding-bottom:2px}.post-tag:hover{background-color:var(--alt-color-2);text-decoration:none}div.sourceCode{border-radius:10px;padding:10px;background-color:var(--code-bg)}.taxonomies-wrapper{display:flex;flex-wrap:wrap;gap:28px 48px;margin-top:32px}.taxonomy{border-bottom:1px solid var(--alt-color);display:flex;font-size:14pt;font-weight:bold;gap:10px;justify-content:space-between;width:144px}.taxonomy>span:first-child{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.taxonomy:hover{text-decoration:none}.post-list-by-taxonomy{list-style-type:none;margin:0;padding:0}.post-list-by-taxonomy>li{line-height:1.5}.post-list-by-taxonomy>li>a{color:var(--main-color)}.post-list-by-taxonomy>li>a:hover{color:var(--alt-color);text-decoration:none}.post-list-by-taxonomy>li>time{display:inline-block;font-weight:300;min-width:150px}math[display="block"]{margin-top:20px;margin-bottom:20px}math[display="block"]>semantics{background-color:var(--math-bg);padding:10px;border-radius:5px}#cusdis_thread>iframe{height:800px}footer{margin-top:120px}