:root { --ink:#1a1a1a; --muted:#6b6b6b; --line:#e6e6e6; --accent:#1a1a1a; --bg:#ffffff; }
html[data-theme="dark"] { --ink:#ececec; --muted:#9a9a9a; --line:#333333; --accent:#ececec; --bg:#141414; }
* { margin:0; padding:0; box-sizing:border-box; }
html, body { height:100%; }
body {
  font-family:"JetBrains Mono","Courier New",Courier,monospace;
  color:var(--ink); background:var(--bg); line-height:1.6;
  -webkit-font-smoothing:antialiased; display:flex; flex-direction:column; min-height:100%;
}

/* ---- Top menu ---- */
header { border-bottom:1px solid var(--line); }
nav { width:100%; margin:0; padding:0 32px; display:flex; align-items:center; justify-content:space-between; min-height:64px; }
.brand { font-weight:700; font-size:15px; letter-spacing:0.02em; text-decoration:none; color:var(--ink); flex-shrink:0; }
.nav-right { display:flex; align-items:center; gap:44px; }
.menu { display:flex; gap:24px; list-style:none; align-items:center; }
.menu a {
  text-decoration:none; color:var(--muted); font-size:14px; letter-spacing:0.01em;
  padding-bottom:2px; border-bottom:1px solid transparent;
  transition:color 0.15s ease, border-color 0.15s ease; white-space:nowrap;
}
.menu a:hover { color:var(--ink); border-bottom-color:var(--ink); }
.menu-toggle { display:none; background:none; border:none; cursor:pointer; font-size:22px; color:var(--ink); }

/* ---- Header controls ---- */
.nav-controls { display:flex; align-items:center; gap:16px; flex-shrink:0; }
.theme-toggle {
  background:none; border:none; color:var(--muted); cursor:pointer;
  font-family:inherit; font-size:20px; line-height:1; padding:4px;
  transition:color 0.15s ease;
}
.theme-toggle:hover { color:var(--ink); }
.menu a.active { color:var(--ink); font-weight:700; }

/* ---- Language dropdown ---- */
.lang-dropdown { position:relative; }
.lang-dropdown > button.lang-current {
  background:none; border:none; color:var(--muted); cursor:pointer; font-family:inherit;
  font-size:14px; letter-spacing:0.01em; padding:5px 0 2px; display:flex; align-items:center; gap:4px;
  border-bottom:1px solid transparent; transition:color 0.15s ease, border-color 0.15s ease;
}
.lang-dropdown > button.lang-current:hover { color:var(--ink); }
.lang-dropdown > button.lang-current .caret { font-size:14px; }
.lang-menu {
  display:none; position:absolute; top:100%; right:0; margin-top:8px;
  background:var(--bg); border:1px solid var(--line); min-width:64px; z-index:30;
}
.lang-dropdown.open .lang-menu { display:block; }
.lang-menu button {
  display:block; width:100%; text-align:left; background:none; border:none;
  color:var(--muted); cursor:pointer; font-family:inherit; font-size:13px;
  letter-spacing:0.04em; padding:8px 14px; transition:color 0.15s ease, background 0.15s ease;
}
.lang-menu button:hover { color:var(--ink); }
.lang-menu button.active { color:var(--ink); font-weight:700; }

/* ---- Main ---- */
main { flex:1; width:100%; margin:0; padding:48px 32px; display:flex; align-items:center; }
.landing { width:100%; text-align:left; padding-left:48px; }
.landing h1 { font-size:42px; font-weight:600; letter-spacing:-0.01em; margin-bottom:16px; }
.keywords { color:var(--muted); font-size:17px; margin-bottom:36px; line-height:1.9; }
.keywords span { white-space:nowrap; }
.keywords .dot { margin:0 10px; color:var(--line); white-space:normal; }
.social { display:flex; gap:24px; flex-wrap:wrap; }
.social a {
  text-decoration:none; color:var(--muted); font-size:14px; letter-spacing:0.02em;
  border-bottom:1px solid transparent; transition:color 0.15s ease, border-color 0.15s ease;
}
.social a:hover { color:var(--ink); border-bottom-color:var(--ink); }

.content { width:100%; max-width:880px; }
.content.wide { max-width:1100px; }
h1.page-title { font-size:34px; font-weight:700; letter-spacing:-0.01em; margin-bottom:8px; }
.subtitle { color:var(--muted); font-size:15px; margin-bottom:36px; }
h2.section { font-size:18px; font-weight:700; margin:36px 0 16px; padding-bottom:8px; border-bottom:1px solid var(--line); }
h3 { font-size:15px; font-weight:600; margin:20px 0 4px; }
p { font-size:15px; margin-bottom:14px; }
p.lead { font-size:16px; }
a.link { color:var(--ink); text-decoration:none; border-bottom:1px solid var(--line); }
a.link:hover { border-bottom-color:var(--ink); }
ul.bullets { margin:0 0 14px 20px; }
ul.bullets li { font-size:15px; margin-bottom:6px; }

.timeline { border-left:1px solid var(--line); margin-left:6px; }
.timeline .item { position:relative; padding:0 0 24px 24px; }
.timeline .item::before { content:""; position:absolute; left:-5px; top:7px; width:9px; height:9px; border-radius:50%; background:var(--ink); }
.timeline .when { color:var(--muted); font-size:13px; }
.timeline .what { font-size:15px; font-weight:600; margin:2px 0; }
.timeline .where { color:var(--muted); font-size:14px; }

.pub { padding:16px 0; border-bottom:1px solid var(--line); }
.pub .ptitle { font-size:15px; font-weight:600; }
.pub .pauthors { color:var(--muted); font-size:14px; }
.pub .pvenue { color:var(--muted); font-size:13px; font-style:italic; }
.pub .ptags a { display:inline-block; font-size:12px; color:var(--muted); text-decoration:none; margin-right:12px; margin-top:4px; border-bottom:1px solid var(--line); }
.pub .ptags a:hover { color:var(--ink); border-bottom-color:var(--ink); }
.year-head { font-size:22px; font-weight:700; margin:32px 0 4px; color:var(--ink); }

.cards { display:grid; grid-template-columns:repeat(auto-fill, minmax(280px,1fr)); gap:16px; }
.card { border:1px solid var(--line); padding:18px; }
.card h3 { margin-top:0; }
.card .desc { font-size:14px; color:var(--muted); margin-bottom:12px; }
.card .meta { font-size:12px; color:var(--muted); }
.card a.repo { font-size:13px; color:var(--ink); text-decoration:none; border-bottom:1px solid var(--line); }
.card a.repo:hover { border-bottom-color:var(--ink); }

table { width:100%; border-collapse:collapse; margin-bottom:24px; }
th, td { text-align:left; padding:10px 12px; font-size:14px; border-bottom:1px solid var(--line); }
th { font-weight:600; color:var(--muted); font-size:12px; text-transform:uppercase; letter-spacing:0.04em; }

.quote-card { border-left:2px solid var(--ink); padding:14px 20px; margin-bottom:24px; }
.quote-card blockquote { font-size:16px; margin-bottom:8px; }
.quote-card .who { color:var(--muted); font-size:14px; }
.quote-btn { font-family:inherit; font-size:14px; cursor:pointer; background:var(--ink); color:var(--bg); border:none; padding:10px 18px; margin-bottom:24px; }
.quote-btn:hover { opacity:0.85; }

footer { border-top:1px solid var(--line); text-align:center; color:var(--muted); font-size:13px; padding:20px 32px; }

/* ---- Collapsed (dynamic, when menu doesn't fit) ---- */
nav.collapsed .menu {
  display: none; position: absolute; top: 64px; right: 0; flex-direction: column;
  gap: 0; background: var(--bg); border: 1px solid var(--line); padding: 8px 0;
  min-width: 220px; z-index: 20;
}
nav.collapsed .menu.open { display: flex; }
nav.collapsed .menu li { width: 100%; }
nav.collapsed .menu a { display: block; padding: 10px 20px; }
nav.collapsed .menu-toggle { display: block; }
nav.collapsed .nav-right { gap: 16px; }
nav { position: relative; }

@media (max-width: 560px) {
  h1.page-title, .landing h1 { font-size: 28px; }
  main { padding: 32px 24px; }
}