:root {
  --ink: #16202e; --muted: #5a6778; --bg: #fbfcfd; --line: #dfe5ec;
  --navy: #0e1b2c; --navy2: #15283f;
  --teal: #007f86; --teal-l: #3fd0c9; --violet: #75549a; --violet-l: #a98be0;
  --red: #c2415a;
  --serif: 'Fraunces', Georgia, serif;
  --sans: 'Inter', system-ui, sans-serif;
  --mono: 'JetBrains Mono', ui-monospace, Menlo, monospace;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; font-family: var(--sans); color: var(--ink); background: var(--bg); line-height: 1.6; }
a { color: var(--teal); }
a:hover { color: var(--violet); }
code { font-family: var(--mono); font-size: .9em; background: #eef2f6; padding: .1em .35em; border-radius: 4px; }
h1, h2, h3, h4 { font-family: var(--serif); color: var(--navy); line-height: 1.2; }
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 24px; }

/* top bar */
.topbar { position: sticky; top: 0; z-index: 10; display: flex; align-items: center; justify-content: space-between;
  padding: 10px 24px; background: rgba(14,27,44,.96); backdrop-filter: blur(6px); }
.brand { display: flex; align-items: center; gap: 10px; color: #fff; text-decoration: none; font-family: var(--serif); font-weight: 700; font-size: 1.35rem; }
.brand:hover { color: var(--teal-l); }
#nav a { color: #cfd8e3; text-decoration: none; padding: 8px 14px; border-radius: 6px; font-size: .95rem; }
#nav a:hover { background: rgba(255,255,255,.1); color: #fff; }
#nav a.active { color: var(--navy); background: var(--teal-l); }
.navtoggle { display: none; }
.burger { display: none; color: #fff; font-size: 1.6rem; cursor: pointer; }

/* generic pages */
.prose { padding-top: 32px; padding-bottom: 56px; max-width: 860px; }
.prose h1 { font-size: 2.2rem; margin-top: 0; border-bottom: 3px solid var(--teal-l); padding-bottom: .3em; }
.prose h2 { margin-top: 2em; }
.prose table { border-collapse: collapse; width: 100%; margin: 1em 0; font-size: .95rem; }
.prose th, .prose td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--line); vertical-align: top; }
.prose th { background: #f0f4f8; }
.highlight { background: var(--navy); color: #e6edf5; border-radius: 10px; padding: 14px 18px; overflow-x: auto; font-size: .85rem; }
.highlight pre { margin: 0; font-family: var(--mono); }
.highlight .c, .highlight .c1, .highlight .cm { color: #7f93aa; font-style: italic; }
.highlight .k, .highlight .kd, .highlight .nb, .highlight .nf { color: var(--violet-l); }
.highlight .s, .highlight .s1, .highlight .s2, .highlight .m, .highlight .mi { color: var(--teal-l); }
.highlight .nv, .highlight .no, .highlight .nl { color: #f0c674; }

.footer { margin-top: 56px; background: var(--navy); color: #a9b8ca; font-size: .88rem; padding: 26px 0; }
.footer a { color: var(--teal-l); }
.footer-in { display: flex; justify-content: space-between; align-items: center; gap: 20px; flex-wrap: wrap; }
.logos { background: #fff; padding: 8px 14px; border-radius: 8px; display: flex; gap: 14px; align-items: center; }

@media (max-width: 640px) {
  .burger { display: block; }
  #nav { display: none; position: absolute; top: 100%; left: 0; right: 0; background: var(--navy); padding: 8px 16px 14px; flex-direction: column; }
  .navtoggle:checked ~ #nav { display: flex; }
}



/* code inside blocks: no inline-code chip, inherit the block's colours */
pre code, .highlight code { background: none; padding: 0; border-radius: 0; color: inherit; font-size: inherit; }
.highlight .w { color: inherit; }
.highlight .o, .highlight .p { color: #e6edf5; }
.highlight .nt, .highlight .na { color: var(--violet-l); }
.highlight .se, .highlight .sh, .highlight .sb { color: var(--teal-l); }


@media (max-width: 640px) { .wrap { padding: 0 16px; } }

.prose h1 .mark { vertical-align: middle; margin-right: 10px; }