/* ===== Lorenzo Molfetta — design tokens ===== */
*{box-sizing:border-box}
:root{
  --paper:#e8e6d3;             /* light warm background */
  --ink:#1a1611;
  --muted:#6f685c;
  --line:#1e4d33;              /* dark green structural borders */
  --line-soft:#cfcabb;
  --green:#1e4d33;             /* dark green — links, conference */
  --red:#8a2424;               /* dark red — labels, journal */
  --gold:#9a7b1a;              /* muted gold — selection, preprint */
  --y:#dbce56; --b:#4295e3; --p:#e352c6;   /* tag/status palette */
}
[data-theme="dark"]{
  --paper:#15120d; --ink:#efeadf; --muted:#9a9282;
  --line:#4a8a65; --line-soft:#352f26;
  --green:#6fae88; --red:#c95a4a; --gold:#f1b338;
}

html,body{margin:0;padding:0;background:var(--paper);color:var(--ink)}
body{font-family:'Computer Modern Serif',Georgia,'Times New Roman',serif;font-size:19px;line-height:1.55;-webkit-font-smoothing:antialiased}
::selection{background:var(--gold);color:var(--ink)}
a{color:var(--green);text-decoration:none;border-bottom:1px solid var(--green)}
a:hover{background:var(--green);color:var(--paper)}
img{max-width:100%;display:block}

/* ===== shell (main left · sidebar right) ===== */
.shell{display:flex;min-height:100vh;background:var(--paper);align-items:flex-start}

/* ===== sidebar nav (RIGHT) ===== */
.nav{
  order:2;
  width:300px;min-width:300px;height:100vh;position:sticky;top:0;
  border-left:2px solid var(--line);padding:60px 32px 32px;
  display:flex;flex-direction:column;font-size:18px;
}
.nav-name{font-size:33px;font-weight:700;line-height:1.1;color:var(--ink);border:none;display:block;margin-bottom:14px}
.nav-name:hover{background:none;color:var(--ink);text-decoration:none}
.nav-role{font-family:'Computer Modern Typewriter',monospace;font-size:13px;letter-spacing:.04em;color:var(--muted);line-height:1.5;margin-bottom:24px}
.nav-divider{height:0;border:none;border-top:2px solid var(--line);margin:0 0 22px}
.nav-items{display:flex;flex-direction:column;gap:16px;margin-bottom:24px}
.nav-item{display:flex;align-items:center;gap:12px;font-size:20px;color:var(--ink);border:none;padding:0}
.nav-item:hover{background:none;color:var(--ink);text-decoration:none}
.nav-item.active{font-weight:700}
.nav-links{margin-top:auto;display:flex;flex-direction:column;gap:9px;font-family:'Computer Modern Typewriter',monospace;font-size:13px;letter-spacing:.04em}
.nav-links a{color:var(--muted);border:none}
.nav-links a:hover{color:var(--ink);background:none;text-decoration:underline}
.nav-foot{margin-top:18px;display:flex;align-items:center;gap:10px}
.theme-toggle{font-family:'Computer Modern Typewriter',monospace;font-size:12px;letter-spacing:.08em;background:none;border:1.5px solid var(--line);color:var(--ink);cursor:pointer;padding:5px 11px}
.theme-toggle:hover{background:var(--line);color:var(--paper)}

/* ===== main ===== */
.main{order:1;flex:1;min-width:0;padding:72px 64px}
.wrap{max-width:760px}
.eyebrow{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.1em;font-size:14px;color:var(--green);margin-bottom:18px}
.page-title{font-size:40px;line-height:1.15;font-weight:700;margin:0 0 10px}
.page-lede{font-size:19px;color:var(--muted);margin:0 0 36px;line-height:1.5}

/* ===== status (multiple colored messages) ===== */
.status{display:flex;flex-direction:column;gap:8px;margin-bottom:32px}
.status-item{padding:10px 14px;border-radius:4px;font-family:'Computer Modern Typewriter',monospace;font-size:13.5px;line-height:1.5;display:flex;gap:10px;align-items:baseline}
.status-item .prompt{font-weight:700;flex:none}
.status-item .out{color:var(--ink)}
.status-item.s0{background:color-mix(in srgb,var(--b) 16%,var(--paper))}
.status-item.s0 .prompt{color:var(--b)}
.status-item.s1{background:color-mix(in srgb,var(--p) 16%,var(--paper))}
.status-item.s1 .prompt{color:var(--p)}
.status-item.s2{background:color-mix(in srgb,var(--y) 24%,var(--paper))}
.status-item.s2 .prompt{color:#8a7a1a}
.status .cur{display:inline-block;width:7px;height:14px;background:var(--ink);vertical-align:-2px;margin-left:2px;animation:blink 1.1s steps(1) infinite}
@keyframes blink{50%{opacity:0}}

/* ===== bio ===== */
.bio-row{display:flex;gap:36px;align-items:flex-start;flex-wrap:wrap}
.bio{flex:1 1 520px;min-width:300px;display:flex;flex-direction:column;gap:16px;font-size:19px;line-height:1.55}
.bio p{margin:0}
.photo-frame{width:172px;flex:none}
.photo-frame .fr{width:172px;height:200px;border:2px solid var(--line);overflow:hidden;background:var(--paper)}
.photo-frame img{width:100%;height:100%;object-fit:cover;filter:grayscale(1) contrast(1.04)}
.photo-cap{font-family:'Computer Modern Typewriter',monospace;font-size:11px;letter-spacing:.06em;color:var(--muted);margin-top:7px}

/* ===== research ===== */
.research{margin-top:44px}
.research-lead{font-size:20px;line-height:1.5;margin-bottom:20px;font-weight:700}
.research-list{display:flex;flex-direction:column;gap:18px}
.research-item{display:flex;gap:14px;align-items:flex-start}
.research-item .mk{margin-top:1px}
.research-item .t{font-size:19px;font-weight:700;line-height:1.3}
.research-item .b{font-size:16px;color:var(--muted);line-height:1.45;margin-top:3px}

/* ===== marks: colored boxes around LaTeX glyphs (§ ¶ ∇ ‡) ===== */
.mk{display:inline-flex;align-items:center;justify-content:center;flex:none;width:24px;height:24px;border-radius:5px;margin-top:2px;font-family:'Computer Modern Typewriter',monospace;font-size:14px;line-height:1}
.mk.c0{background:var(--y);color:#1a1611}
.mk.c1{background:var(--b);color:#fff}
.mk.c2{background:var(--p);color:#fff}
.nav-item .mk{width:22px;height:22px;font-size:13px;margin-top:0}
.news-item .mk{margin-top:4px;width:20px;height:20px;font-size:12px}

/* ===== section header ===== */
.section{margin-top:60px}
.section-head{display:flex;align-items:baseline;justify-content:space-between;border-bottom:2px solid var(--line);padding-bottom:10px;margin-bottom:20px}
.section-head .lbl{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.12em;font-size:13px;color:var(--muted)}
.section-head .mark{font-family:'Computer Modern Typewriter',monospace;font-size:16px;color:var(--red)}
.section-head .all{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;font-size:13px;color:var(--green);border:none}
.section-head .all:hover{text-decoration:underline;background:none}

/* ===== news ===== */
.news-list{display:flex;flex-direction:column;gap:15px}
.news-item{display:flex;gap:14px;font-size:18px;line-height:1.45;align-items:flex-start}
.news-date{font-family:'Computer Modern Typewriter',monospace;font-size:13px;flex:none;width:78px;color:var(--muted)}

/* ===== publications ===== */
.pub-list{display:flex;flex-direction:column}
.pub-item{padding:15px 0;border-bottom:1.5px solid var(--line-soft)}
.pub-top{display:flex;align-items:center;gap:8px;flex-wrap:wrap}
.pub-item .pt{font-size:19px;font-weight:700;line-height:1.28}
.pub-item .pa{font-size:15px;color:var(--muted);line-height:1.4;margin-top:3px}
.pub-item .pm{font-family:'Computer Modern Typewriter',monospace;font-size:13px;color:var(--muted);margin-top:5px}
.pub-item .pm a{margin-left:6px}
.typelabel{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.08em;font-size:12px;padding:1px 7px;border:1px solid}
.typelabel.conference{color:var(--green);border-color:var(--green)}
.typelabel.journal{color:var(--red);border-color:var(--red)}
.typelabel.preprint{color:var(--gold);border-color:var(--gold)}
.authortag{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.06em;font-size:11px;padding:2px 7px;border-radius:4px;border:1px solid;white-space:nowrap}
.authortag.first{background:var(--b);color:#fff;border-color:var(--b)}
.authortag.cofirst{background:transparent;color:var(--p);border-color:var(--p)}
.year-head{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.1em;font-size:14px;color:var(--red);margin:30px 0 6px}
.year-head:first-child{margin-top:0}
.filters{display:flex;gap:10px;flex-wrap:wrap;margin-bottom:30px}
.chip{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.06em;font-size:13px;background:none;border:1.5px solid var(--line);color:var(--ink);cursor:pointer;padding:5px 12px}
.chip:hover{background:var(--line);color:var(--paper)}
.chip.on{background:var(--ink);color:var(--paper);border-color:var(--ink)}

/* ===== contact ===== */
.contact{margin-top:60px;border-top:2px solid var(--line);padding-top:24px;display:flex;flex-wrap:wrap;align-items:center;gap:14px 22px}
.contact .em{font-size:19px;font-weight:700;color:var(--ink);border-bottom:2px solid var(--ink)}
.contact .em:hover{background:var(--ink);color:var(--paper)}
.contact .loc{font-family:'Computer Modern Typewriter',monospace;font-size:13px;color:var(--muted);margin-left:auto}

/* ===== buttons ===== */
.btn{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.04em;font-size:14px;background:none;border:1.5px solid var(--line);color:var(--ink);cursor:pointer;padding:6px 13px}
.btn:hover{background:var(--ink);color:var(--paper)}

/* ===== cv ===== */
.cv-block{margin-bottom:40px}
.cv-h{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.14em;font-size:13px;color:var(--red);border-bottom:2px solid var(--line);padding-bottom:8px;margin-bottom:16px}
.cv-row{display:flex;gap:20px;padding:10px 0;border-bottom:1.5px solid var(--line-soft)}
.cv-row .where{flex:1;min-width:0}
.cv-row .org{font-size:19px;font-weight:700}
.cv-row .role{font-size:16px;color:var(--muted);margin-top:2px}
.cv-row .meta{font-family:'Computer Modern Typewriter',monospace;font-size:12px;color:var(--muted);width:170px;flex:none;text-align:right}
.cv-row .notes{margin:6px 0 0;padding-left:18px;font-size:15px;color:var(--muted);line-height:1.4}
.cv-row .notes li{margin-bottom:3px}
.cv-pdf{display:inline-block;margin-bottom:34px}
.cv-skills{display:grid;grid-template-columns:130px 1fr;gap:8px 18px;font-size:16px}
.cv-skills .k{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.06em;font-size:13px;color:var(--red);padding-top:2px}
.cv-list{margin:0;padding-left:18px;font-size:16px;color:var(--muted);line-height:1.5}

/* ===== supervised theses ===== */
.thesis{display:flex;gap:14px;padding:10px 0;border-bottom:1.5px solid var(--line-soft);align-items:baseline}
.thesis:last-child{border-bottom:none}
.thesis .lvl{flex:none;width:34px;font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;font-size:11px;text-align:center;padding:2px 0;border-radius:4px;border:1px solid}
.thesis .lvl.m{color:var(--b);border-color:var(--b)}
.thesis .lvl.b{color:var(--p);border-color:var(--p)}
.thesis .body{flex:1;min-width:0}
.thesis .tt{font-size:15.5px;line-height:1.35;color:var(--ink)}
.thesis .tc{font-family:'Computer Modern Typewriter',monospace;font-size:12px;color:var(--muted);margin-top:2px}
.thesis-yr{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.1em;font-size:13px;color:var(--red);margin:22px 0 4px}
.thesis-yr:first-child{margin-top:0}

/* ===== publication title link ===== */
.pub-item a.pt{color:var(--ink);border:none}
.pub-item a.pt:hover{color:var(--green);border:none;background:none;text-decoration:underline}

/* ===== topic tags ===== */
.topictag{display:inline-block;font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.04em;font-size:11.5px;color:var(--muted);background:var(--line-soft);padding:2px 9px;border-radius:999px;margin:0 6px 6px 0}

/* ===== paper detail page ===== */
.paper-back{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;font-size:13px;margin-bottom:18px}
.paper-back a{color:var(--muted);border:none}
.paper-back a:hover{color:var(--ink);border:none}
.paper-tags{margin-bottom:18px}
.paper-title{font-size:38px;line-height:1.12;font-weight:700;letter-spacing:-.01em;margin:0 0 14px}
.paper-sub{font-family:'Computer Modern Serif',serif;font-style:italic;font-size:21px;line-height:1.4;color:var(--muted);margin:0 0 22px;max-width:60ch}
.paper-authors{font-size:17px;line-height:1.5;margin-bottom:12px}
.paper-authors strong{color:var(--ink);font-weight:700}
.paper-meta{font-family:'Computer Modern Typewriter',monospace;font-size:13px;color:var(--muted);display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-bottom:18px}
.paper-venue{color:var(--muted)}
.paper-links{display:flex;gap:10px;flex-wrap:wrap;margin-bottom:36px}
.plink{font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;font-size:13px;color:var(--paper)!important;background:var(--ink);padding:7px 14px;border-radius:4px;border:none}
.plink:hover{background:var(--green);color:var(--paper)!important;border:none}
.paper-figure{margin:0 0 36px;border:1px solid var(--line-soft);padding:14px;background:var(--paper)}
.paper-figure img{width:100%;border:1px solid var(--line-soft)}
.paper-figure figcaption{font-family:'Computer Modern Typewriter',monospace;font-size:12.5px;color:var(--muted);margin-top:10px;line-height:1.5}
.paper-h{font-size:13px;font-family:'Computer Modern Typewriter',monospace;font-variant:small-caps;letter-spacing:.14em;color:var(--red);border-bottom:1px solid var(--line);padding-bottom:8px;margin:40px 0 16px}
.paper-abs{font-size:17px;line-height:1.7;margin:0 0 8px;max-width:68ch}
.paper-abs.muted{color:var(--muted);font-style:italic}
.paper-prose{font-size:17px;line-height:1.7;margin:0 0 8px;max-width:68ch}
.bibtex{position:relative;margin-top:6px}
.bibtex pre{background:var(--line-soft);border:1px solid var(--line-soft);border-radius:4px;padding:18px;font-family:'Computer Modern Typewriter',monospace;font-size:12.5px;line-height:1.6;overflow-x:auto;color:var(--ink)}
.copy-btn{position:absolute;top:10px;right:10px}

/* ===== responsive ===== */
@media (max-width:860px){
  .shell{flex-direction:column}
  .nav{order:0;width:100%!important;min-width:0!important;height:auto!important;position:static!important;border-left:none!important;border-bottom:2px solid var(--line);padding:32px 26px 24px}
  .main{order:0;padding:40px 26px!important}
}