.highlight pre,pre{background-color:#f8f8f8;border:1px solid #ccc;padding:6px 10px;border-radius:3px}.highlight .hll{background-color:#f8f8f8;border:1px solid #ccc;padding:6px 10px;border-radius:3px}.highlight .c{color:#999988;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .k,.highlight .o{font-weight:bold}.highlight .cm{color:#999988;font-style:italic}.highlight .cp{color:#999999;font-weight:bold}.highlight .c1{color:#999988;font-style:italic}.highlight .cs{color:#999999;font-weight:bold;font-style:italic}.highlight .gd{color:#000000;background-color:#ffdddd}.highlight .gd .x{color:#000000;background-color:#ffaaaa}.highlight .ge{font-style:italic}.highlight .gr{color:#aa0000}.highlight .gh{color:#999999}.highlight .gi{color:#000000;background-color:#ddffdd}.highlight .gi .x{color:#000000;background-color:#aaffaa}.highlight .go{color:#888888}.highlight .gp{color:#555555}.highlight .gs{font-weight:bold}.highlight .gu{color:#800080;font-weight:bold}.highlight .gt{color:#aa0000}.highlight .kc,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr{font-weight:bold}.highlight .kt{color:#445588;font-weight:bold}.highlight .m{color:#009999}.highlight .s{color:#dd1144}.highlight .n{color:#333333}.highlight .na{color:teal}.highlight .nb{color:#0086b3}.highlight .nc{color:#445588;font-weight:bold}.highlight .no{color:teal}.highlight .ni{color:purple}.highlight .ne,.highlight .nf{color:#990000;font-weight:bold}.highlight .nn{color:#555555}.highlight .nt{color:navy}.highlight .nv{color:teal}.highlight .ow{font-weight:bold}.highlight .w{color:#bbbbbb}.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#009999}.highlight .sb,.highlight .sc,.highlight .sd,.highlight .s2,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx{color:#dd1144}.highlight .sr{color:#009926}.highlight .s1{color:#dd1144}.highlight .ss{color:#990073}.highlight .bp{color:#999999}.highlight .vc,.highlight .vg,.highlight .vi{color:teal}.highlight .il{color:#009999}.highlight .gc{color:#999;background-color:#EAF2F5}:root{--accent: #4A4A4A;--accent-light: #9b9a9a}html{height:100%;margin:0;padding:0}body,body.dark-mode{margin:0;font-family:"Source Sans Pro", "Inconsolata", sans-serif;height:100%;line-height:0.7em;font-size:medium;font-weight:300;letter-spacing:300;text-shadow:0 0 1px rgba(58,57,57,0.25)}body.dark-mode{background-color:black;color:white;--accent: #9b9a9a}.theorem-box{border:1px solid #000;padding:10px;margin:10px 0;background-color:#f9f9f9;border-radius:5px;position:relative}.theorem-title{font-weight:bold;margin-bottom:5px}.toggle-buttons{position:absolute;top:12px;right:16px;display:inline-flex;gap:6px;align-items:baseline}.toggle-buttons button{font-size:0.75em;padding:0.2em 0.6em;border:1px solid #888;background:#eee;border-radius:4px;cursor:pointer;margin-left:4px}.toggle-buttons button.active{background:#333;color:white}body.dark-mode .theorem-box{border:1px solid #fff;background-color:#333;color:#fff}a{text-decoration:none;color:var(--accent)}i{text-decoration:none;color:var(--accent)}a:hover{text-decoration:none;color:#9b9a9a;text-shadow:0 0 1px rgba(30,138,100,0.3)}hr{border:none;margin:5px;border-top:1px solid rgba(0,0,0,0.1);border-bottom:1px solid rgba(255,255,255,0.3)}h3{padding:1em 0 0 0;line-height:0em}h4{padding:1em 0 0 0;line-height:0em}.container{max-width:740px;margin:auto;flex-direction:column}.alignable,.pull-left,.pull-right,.post-details{display:inline-block}.pull-left{float:left}.pull-right,.post-details{float:right}.page-title{text-align:center;font-size:xx-large;line-height:2}.page-subtitle{text-align:center}#site-title{font-size:25px;text-shadow:0 0 3px rgba(58,57,57,0.25);display:inline-block;padding:0px 0px 0px 0px;margin:0px}#site-title:hover{color:var(--accent)}.navbar{padding:50px 0 40px 0}.navbar-ul{display:inline-block;margin:0;padding:0px 0 0px 0;margin-left:20px}.navbar-list{list-style-type:none;margin:0 5px 0 10px;font-size:large}#navigation-list{display:flex;align-items:center;list-style-type:none;padding:0;margin:0}.centered{text-align:center}#footer-icon{padding-bottom:10px}.post-title{max-width:500px;display:inline-block;font-size:25px;line-height:1.2;margin-top:10px}.post-details{text-align:right;margin-left:20px;margin-top:10px}.post-snippet{max-width:500px;margin-top:10px}.preprints{padding-left:0;font-size:16px;line-height:1.6}.preprint-item{list-style-type:none;margin-bottom:20px}.preprint-title{font-weight:bold}.preprint-links a{text-decoration:none;color:var(--accent);margin-right:10px;font-size:16px}.preprint-links a:hover{text-decoration:underline}.preprint-authors{margin-bottom:5px}.section-divider{width:40px;height:2px;background:#4A4A4A;border:none;margin:3em auto 2.5em}.timeline-heading{margin-top:2em;padding-bottom:6px;border-bottom:1px solid rgba(0,0,0,0.1);line-height:1.5;font-weight:300;letter-spacing:0.04em;text-transform:lowercase}.timeline{position:relative;margin:1.2em 0 1em 0;padding-left:18px;border-left:2px solid #4A4A4A}.timeline-entry{position:relative;margin-bottom:1.4em;padding-left:16px;line-height:1.4}.timeline-entry::before{content:'';position:absolute;left:-24px;top:5px;width:8px;height:8px;border-radius:50%;background:#4A4A4A}.timeline-date{font-size:0.8em;color:#999;margin-bottom:2px;letter-spacing:0.03em}body.dark-mode .timeline-date{color:#777}.timeline-role{font-size:0.95em;font-weight:600;line-height:1.3}.timeline-org{font-size:0.85em;line-height:1.3;opacity:0.75}