/* Redline brand: the tokens every surface shares, and the wordmark. Type is self-hosted Inter. */
:root{--font:Inter,system-ui,-apple-system,"Segoe UI",Arial,sans-serif;--mono:ui-monospace,"Cascadia Mono",Consolas,"SF Mono",Menlo,monospace;
  --paper:#f4f2ec;--ink:#272c24;--muted:#676f60;--line:#d7dbce;--red:#cc402b;--red-deep:#ac3320;--dark:#252d24}
.redline-logo{display:inline-flex;align-items:baseline;gap:0;font-family:var(--font);font-size:32px;font-weight:900;line-height:.9;letter-spacing:-.06em;text-transform:none;text-decoration:none;white-space:nowrap;color:var(--ink);flex-shrink:0;font-feature-settings:"ss01"}
.redline-logo .redline-dot{font:inherit;letter-spacing:0;color:var(--red);margin-left:1px;line-height:inherit}
/* The file type, written in a slanted serif, the way a reviewer's note sits on a drawing: red, nearly the size of
   the word. It scales with the wordmark, so one rule serves the site header, the footer and the editor bar. */
.redline-logo .redline-pdf{font-family:Georgia,"Times New Roman",Times,serif;font-style:italic;font-weight:700;font-size:.92em;letter-spacing:-.01em;line-height:inherit;color:var(--red);margin-left:.04em}
html[data-theme="dark"] .redline-logo{color:#f5f5f3}
.appbar .wordmark.redline-logo{font-size:25px;letter-spacing:-.055em;gap:0;padding:0 4px;height:auto;min-height:32px;background:transparent;border:0;box-shadow:none}
.appbar .wordmark.redline-logo .redline-dot{font-size:inherit;margin-left:1px}
@media(max-width:600px){.appbar .wordmark.redline-logo{font-size:23px}}