#page{h2{font-size:var(--font-size-heading2);font-weight:900}h2,h3{font-family:monospace}h3{font-size:var(--font-size-heading3)}h4{font-family:monospace;font-size:var(--font-size-heading4)}a:not(nav a):not(#projects a):not(h1 a,h2 a,h3 a,h4 a){text-decoration:underline}ul{list-style:disc;padding-top:10px;padding-bottom:10px;padding-left:20px;li{padding-bottom:5px}}ol{list-style:decimal;padding-top:10px;padding-bottom:10px;padding-left:20px;li{padding-bottom:5px}}main{padding-bottom:100px}table{margin-bottom:20px}@media (max-width:768px){table{overflow-x:auto;display:block}.katex-display{overflow-y:hidden;overflow-x:auto;max-width:100%}}}