/* gpvar documentation - light, print-like theme */
:root {
  --ink: #1f2933;
  --muted: #5b6770;
  --rule: #e3e7ea;
  --accent: #1f4e79;
  --accent-soft: #eef3f8;
  --code-bg: #f6f8fa;
  --orange: #f2a93b;
  --max: 1080px;
}
* { box-sizing: border-box; }
html { background: #ffffff; }
body {
  margin: 0;
  color: var(--ink);
  font-family: "Source Serif 4", Georgia, "Times New Roman", serif;
  font-size: 17px;
  line-height: 1.6;
  background: #ffffff;
}
.wrap { max-width: var(--max); margin: 0 auto; padding: 0 24px; }

/* masthead */
.masthead { border-bottom: 1px solid var(--rule); background: #fff; }
.masthead .wrap { display: flex; align-items: baseline; justify-content: space-between; flex-wrap: wrap; padding-top: 18px; padding-bottom: 14px; gap: 8px 24px; }
.brand a { font-family: "Source Sans 3", "Helvetica Neue", Arial, sans-serif; font-weight: 600; font-size: 24px; color: var(--accent); text-decoration: none; letter-spacing: 0.01em; }
.brand .tagline { display: block; font-family: "Source Sans 3", sans-serif; font-size: 14px; color: var(--muted); margin-top: 2px; }
nav { display: flex; flex-wrap: wrap; gap: 4px 18px; font-family: "Source Sans 3", sans-serif; font-size: 15px; }
nav a { color: var(--ink); text-decoration: none; padding: 4px 0; border-bottom: 2px solid transparent; }
nav a:hover { color: var(--accent); }
nav a.active { color: var(--accent); border-bottom-color: var(--accent); }

/* typography */
h1.pagetitle { font-weight: 600; font-size: 34px; margin: 36px 0 6px; line-height: 1.2; }
p.subtitle { color: var(--muted); font-size: 18px; margin: 0 0 30px; font-style: italic; }
h1 { font-size: 30px; }
h2 { font-family: "Source Sans 3", sans-serif; font-weight: 600; font-size: 24px; margin: 44px 0 12px; padding-bottom: 6px; border-bottom: 1px solid var(--rule); }
h3 { font-family: "Source Sans 3", sans-serif; font-weight: 600; font-size: 19px; margin: 30px 0 8px; }
h4 { font-family: "Source Sans 3", sans-serif; font-weight: 600; font-size: 17px; margin: 22px 0 6px; color: var(--accent); }
a { color: var(--accent); }
p, ul, ol { margin: 0 0 14px; }
li { margin-bottom: 4px; }
blockquote { margin: 16px 0; padding: 10px 18px; border-left: 3px solid var(--accent); background: var(--accent-soft); color: var(--ink); }
blockquote p { margin: 0; }
hr { border: 0; border-top: 1px solid var(--rule); margin: 36px 0; }
em { font-style: italic; }

/* code */
code, pre { font-family: "Source Code Pro", Consolas, "Courier New", monospace; font-size: 14px; }
code { background: var(--code-bg); padding: 1px 5px; border-radius: 3px; }
pre { background: var(--code-bg); border: 1px solid var(--rule); border-radius: 4px; padding: 14px 16px; overflow-x: auto; line-height: 1.5; margin: 12px 0 18px; }
pre code { background: none; padding: 0; }

/* tables */
table { border-collapse: collapse; width: 100%; margin: 12px 0 22px; font-family: "Source Sans 3", sans-serif; font-size: 14.5px; }
th, td { padding: 6px 10px; text-align: left; vertical-align: top; border-bottom: 1px solid var(--rule); }
th { border-top: 2px solid var(--ink); border-bottom: 1px solid var(--ink); font-weight: 600; background: #fff; }
tr:last-child td { border-bottom: 2px solid var(--ink); }
.tablewrap { overflow-x: auto; margin: 12px 0 22px; }
.tablewrap table { margin: 0; }

/* figures */
figure { margin: 22px 0 30px; }
figure img { width: 100%; height: auto; border: 1px solid var(--rule); background: #fff; }
figcaption { font-family: "Source Sans 3", sans-serif; font-size: 14px; color: var(--muted); margin-top: 8px; }
figcaption .dl { color: var(--muted); }
main img { max-width: 100%; height: auto; border: 1px solid var(--rule); margin: 8px 0 16px; }

/* cards */
.grid3 { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 16px; margin: 26px 0 10px; }
.card { display: block; text-decoration: none; color: var(--ink); border: 1px solid var(--rule); border-radius: 6px; padding: 16px 18px; background: #fff; transition: border-color .15s; }
.card:hover { border-color: var(--accent); }
.card h3 { margin: 0 0 6px; color: var(--accent); }
.card p { margin: 0; font-size: 15px; color: var(--muted); font-family: "Source Sans 3", sans-serif; }

/* footer */
footer { border-top: 1px solid var(--rule); margin-top: 60px; padding: 22px 24px 40px; color: var(--muted); font-family: "Source Sans 3", sans-serif; font-size: 14px; }
footer p { margin: 0; }

/* math */
mjx-container[display="true"] { overflow-x: auto; overflow-y: hidden; margin: 12px 0 !important; }

@media (max-width: 640px) {
  body { font-size: 16px; }
  h1.pagetitle { font-size: 26px; }
  .masthead .wrap { flex-direction: column; align-items: flex-start; }
}

/* header extras */
nav .navsep { display: inline-block; width: 1px; height: 16px; background: var(--rule); align-self: center; }
nav a.ext { color: var(--muted); }

/* hero */
.hero { background: linear-gradient(180deg, #f4f7fa 0%, #ffffff 100%); border-bottom: 1px solid var(--rule); padding: 48px 0 40px; }
.hero .kicker { font-family: "Source Sans 3", sans-serif; text-transform: uppercase; letter-spacing: 0.12em; font-size: 12.5px; color: var(--muted); margin: 0 0 10px; }
.hero h1 { font-size: 40px; font-weight: 600; line-height: 1.15; margin: 0 0 16px; color: var(--accent); }
.hero .lead { font-size: 18px; max-width: 60em; color: var(--ink); margin-bottom: 14px; }
.hero .byline { font-family: "Source Sans 3", sans-serif; font-size: 16px; color: var(--muted); margin-bottom: 22px; }
.hero-actions { display: flex; flex-wrap: wrap; gap: 10px; }
.btn { font-family: "Source Sans 3", sans-serif; font-weight: 600; font-size: 15px; text-decoration: none; padding: 9px 16px; border: 1px solid var(--accent); border-radius: 5px; color: var(--accent); background: #fff; transition: background .15s, color .15s; }
.btn:hover { background: var(--accent-soft); }
.btn.primary { background: var(--accent); color: #fff; font-family: "Source Code Pro", monospace; font-weight: 500; }
.btn.primary:hover { background: #163a5a; }

/* links section */
.linkgrid { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 12px; margin: 14px 0 6px; }
.linkcard { display: flex; flex-direction: column; text-decoration: none; border: 1px solid var(--rule); border-radius: 6px; padding: 12px 14px; background: #fff; transition: border-color .15s; }
.linkcard:hover { border-color: var(--accent); }
.lc-title { font-family: "Source Sans 3", sans-serif; font-weight: 600; color: var(--accent); }
.lc-sub { font-family: "Source Sans 3", sans-serif; font-size: 14px; color: var(--muted); margin-top: 2px; word-break: break-word; }

/* author */
.author { margin-top: 10px; }
.author-name { font-size: 22px; font-weight: 600; margin: 4px 0 2px; }
.author-links { font-family: "Source Sans 3", sans-serif; color: var(--muted); margin-bottom: 10px; }

/* footer refinements */
footer { padding: 26px 0 44px; }
footer p { margin: 0 0 4px; }

@media (max-width: 640px) {
  .hero h1 { font-size: 28px; }
  .hero { padding: 32px 0 28px; }
}