:root{--paper:#faf7f0;--ink:#27241f;--ink-dim:#6b6255;--rule:#ddd5c4;--accent:#7a3b2e}*{-moz-box-sizing:border-box;-webkit-box-sizing:border-box;box-sizing:border-box}html{color-scheme:light}body{background:var(--paper);color:var(--ink);margin:0 auto;font-size:16px;font-family:sans-serif;line-height:1.65;max-width:60em;padding:1.5rem 1.5rem 4rem}h1{font-family:serif;font-weight:normal}a{color:var(--ink)}a:hover{color:var(--accent)}header .site-title{font-size:1.5rem;letter-spacing:0.12em;font-variant:small-caps}header .tagline{margin:0 0 1.4rem;color:var(--ink-dim);font-style:italic;font-size:0.95rem}header{margin-bottom:1rem}nav{font-variant:small-caps;letter-spacing:0.06em;font-size:0.95rem}nav a{color:var(--ink);padding-right:1.5rem}ul.posts{list-style:none;margin:0;padding:0}ul.posts li{display:flex;gap:1.4em;padding:0.85em 0;border-bottom:1px solid var(--rule);align-items:baseline}ul.posts li:first-child{border-top:1px solid var(--rule)}ul.posts time{flex:0 0 8.5rem;color:var(--ink-dim);font-variant-numeric:oldstyle-nums;font-size:0.8rem}ul.posts .entry{display:flex;flex-direction:column;gap:0.3em;min-width:0}ul.posts a{color:var(--ink);border-bottom:1px solid transparent}ul.posts a:hover{color:var(--accent)}.tags-line{font-size:0.82rem;color:var(--ink-dim);font-style:italic}p.tags-line a{color:var(--ink-dim);text-decoration:none}.tags-line a:hover{color:var(--accent)}footer{margin-top:3.5rem;padding-top:1.5rem;border-top:1px solid var(--rule);color:var(--ink-dim);font-size:0.8rem}footer a{color:var(--ink-dim)}footer p{margin:0.3em 0}.theorem:before{counter-increment:theorem;content:"Theorem " counter(theorem) ". ";font-weight:bold;font-style:normal}.theorem{display:block;margin:12px 0;font-style:italic}.lemma{display:block;margin:12px 0;font-style:italic}.lemma:before{counter-increment:theorem;content:"Lemma " counter(theorem) ". ";font-weight:bold;font-style:normal}.ex{display:block;margin:12px 0;font-style:italic}.ex:before{counter-increment:theorem;content:"Example " counter(theorem) ". ";font-weight:bold;font-style:normal}.definition{display:block;margin:12px 0;font-style:normal}.definition:before{counter-increment:theorem;content:"Definition " counter(theorem) ". ";font-weight:bold;font-style:normal}.proof{display:block;margin-left:10px;margin-bottom:30px;font-style:normal;padding-bottom:1rem}.proof:before{content:'Proof.\00a0\00a0';float:left;font-weight:bold}.proof:after{content:"\25A1";float:right}.proposition{display:block;margin:12px 0;font-style:italic}.proposition:before{counter-increment:theorem;content:"Proposition " counter(theorem) ". ";font-weight:bold;font-style:normal}.corollary{display:block;margin:12px 0;font-style:italic}.corollary:before{counter-increment:theorem;content:"Corollary " counter(theorem) ". ";font-weight:bold;font-style:normal}body{counter-reset:theorem}.latexfragment{display:flex;justify-content:center;align-items:center}.gallery{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));grid-gap:20px;width:100%}.gallery-item{overflow:hidden;border-radius:8px;box-shadow:0 0 10px rgba(0,0,0,0.2);max-width:100%;padding:10px;word-wrap:break-word}.gallery-item img{max-height:50vh;max-width:95%;margin-left:auto;margin-right:auto;display:block;border-radius:8px}@media (max-width:768px){.gallery{flex-direction:column;grid-template-columns:1fr;width:100%}.gallery-item{overflow:auto;border-radius:8px;box-shadow:0 0 10px rgba(0,0,0,0.2);padding:10px;width:95%;word-wrap:break-word}.gallery-item img{max-width:80vw;max-height:80vh;display:block;margin:auto}.gallery-item h3{text-align:center}}.container{display:flex;box-shadow:0 0 10px rgba(0,0,0,0.2);border-radius:8px;width:100%;margin-bottom:20px;align-items:flex-start;padding:10px}.image-section img{max-width:95%;max-height:50vh;border-radius:8px;margin-left:auto;margin-right:auto}.text-section{margin-left:20px;max-width:400px;display:flex;flex-direction:column}.text-section h2{font-size:24px;margin-bottom:10px}.text-section p{margin:5px 0}.text-section a{text-decoration:none}.text-section img{display:block;margin-left:auto;margin-right:auto}.additional-section{box-shadow:0 0 10px rgba(0,0,0,0.2);border-radius:8px;width:100%;text-align:center;padding:10px}@media (max-width:768px){.container{flex-direction:column;align-items:center}.text-section{margin-left:0;margin-top:10px;text-align:left;align-items:left}}img.rounded-corners{border-radius:300px}.two-cols{display:flex;justify-content:space-between;gap:20px}.column-left{flex:3;border-radius:8px}.column-right{flex:1;display:flex;flex-direction:column;gap:10px}.image{width:100%;border-radius:8px;box-shadow:0 4px 8px rgba(0,0,0,0.2)}@media (max-width:768px){.two-cols{display:block;justify-content:space-between;gap:20px}.column-left{padding:20px;border-radius:8px}.column-right{gap:10px}.column-right img{margin-left:auto;margin-right:auto}.container{flex-direction:column}}