*{color:#ebdbb2;font-family:Inter;font-optical-sizing:auto;font-weight:400;font-style:normal}strong{font-weight:600;font-style:italic;color:#fabd2f}strong:hover{color:#fe8019}h1{display:block;font-size:2em;margin:0;font-weight:700}h2{display:block;font-size:1.5em;margin:.83em 0 0;font-weight:700}a{display:inline-block;text-decoration:none;color:#83a598}a:hover{color:#458588}.katex{width:max-content;margin-left:0}.katex-display{margin-top:0}