/* Sovereign blog: one reading column, contents on the left, notes on the right. */
@font-face { font-family: "ABC Diatype"; src: url(/ABCDiatypeVariable.woff2) format("woff2"); font-weight: 100 900; font-display: swap; }
:root { --ink: #282828; --ink-2: #3c3836; --toc: #504945; --muted: #6b6866; --label: #4f4f4f; --grid: #e4e4e4; --link: #676767;
  --code: #ad2111; --wash: #f3f3f2; --mint: #e2faf3; --sans: "ABC Diatype", -apple-system, system-ui, sans-serif;
  --serif: "Iowan Old Style", "Iowan Old Style BT", "Source Serif 4", Georgia, serif;
  --mono: SFMono-Regular, "SF Mono", ui-monospace, Menlo, monospace; }
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 40px; -webkit-text-size-adjust: 100%; }
body { margin: 0; background: #fff; color: var(--ink); font: 400 16px/1.6 var(--sans); -webkit-font-smoothing: antialiased; }
h1, h2, h3, p, figure, ol, ul { margin: 0; }
a { color: inherit; }

header { font-family: var(--sans); display: flex; align-items: center; justify-content: space-between; height: 56px; padding: 0 21px; }
header .logo img { display: block; height: 20px; width: auto; transform: translateY(-15%); }
header nav { display: flex; gap: 22px; } header nav a { font-size: 15px; letter-spacing: -.01em; color: var(--ink-2); text-decoration: none; }

.post-head { max-width: 710px; margin: 38px auto 0; padding: 0 20px; text-align: center; }
.post-head h1 { font-size: 30px; line-height: 42px; font-weight: 600; color: var(--ink); }
.post-head .dek { max-width: 560px; margin: 14px auto 0; font-size: 18px; line-height: 27px; color: var(--muted); }
.post-head .meta { font-family: var(--sans); margin-top: 20px; font-size: 15px; line-height: 21px; color: var(--muted); }
.post-head .meta span { display: block; } .post-head .meta .author { color: var(--ink); letter-spacing: .016em; }

.hero { max-width: 660px; margin: 56px auto 0; padding: 0; }

.page { position: relative; width: 660px; margin: 72px auto 0; padding-bottom: 120px; }
.toc { position: absolute; top: 0; bottom: 0; right: calc(100% + 34px); width: 210px; }
.toc ul { font-family: var(--sans); position: sticky; top: 86px; margin: 0; padding: 0; list-style: none; font-size: 13px; line-height: 18.2px; color: var(--toc); }
.toc li { margin-bottom: 11.2px; } .toc a { position: relative; text-decoration: none; } .toc a:hover, .toc a.on { color: var(--ink); }
.toc a.on::before { content: ""; position: absolute; left: -11px; top: 7px; width: 4px; height: 4px; border-radius: 50%; background: var(--ink); }

article p { margin-bottom: 22px; line-height: 26px; }
article h2 { margin: 49.6px 0 19.2px; font-size: 23.2px; line-height: 32.48px; font-weight: 600; }
article h3 { margin: 44.8px 0 16.8px; font-size: 21.6px; line-height: 30.24px; font-weight: 500; }
article ul, article ol { margin: 16px 0 19.2px; padding-left: 26px; line-height: 26px; } article li + li { margin-top: 6px; }
article strong { font-weight: 600; }
article a { color: var(--link); text-decoration: underline; text-decoration-color: rgba(103, 103, 103, .3); text-underline-offset: 2px; }
article code { font: 15.3px var(--mono); color: var(--code); }

.sn { position: relative; }
.sn sup { font-size: 11px; line-height: 0; }
.sidenote { position: absolute; left: calc(100% + 64px); width: 250px; margin-top: 4.8px; font-size: 14.4px; line-height: 20.16px; color: var(--ink); }
.sidenote sup { margin-right: 3px; }

figure { margin: 28.8px 0; counter-increment: fig; }
body { counter-reset: fig; }
figcaption { font-family: var(--sans); margin-top: 13px; font-size: 13px; line-height: 18.2px; color: var(--muted); }
figcaption::before { content: "Figure " counter(fig) ": "; font-weight: 600; color: var(--ink); }

table.data { font-family: var(--sans); width: 100%; margin: 40.8px 0; border-collapse: collapse; font-size: 13px; line-height: 19.5px; }
table.data th { padding: 6px 8px; font-weight: 400; color: var(--muted); text-align: left; border-bottom: 1px solid var(--grid); }
table.data td { padding: 6px 8px; text-align: left; border-bottom: 1px solid var(--grid); } table.data td:first-child, table.data th:first-child { text-align: left; }
table.data td.best { background: var(--mint); } table.data td i { color: var(--ink); }

/* figures */
.fig { position: relative; font-family: var(--sans); }
.fig svg { display: block; width: 100%; height: auto; overflow: visible; font-family: var(--sans); }
.tabs { display: flex; flex-wrap: wrap; justify-content: center; gap: 2px; margin-bottom: 12px; }
.tabs button { padding: 6px 10px; border: 0; border-radius: 999px; background: none; font: 400 14px var(--sans); color: var(--ink); cursor: pointer; }
.tabs button.on { background: #ececeb; } .tabs button:hover:not(.on) { background: #f5f5f4; }
.tabs.small button { padding: 5px 11px; font-size: 13px; color: var(--muted); } .tabs.small button.on { color: var(--ink); }
.legend { display: flex; flex-wrap: wrap; justify-content: center; gap: 6px 18px; margin-top: 10px; font-size: 13px; color: var(--muted); }
.legend i { display: inline-block; width: 9px; height: 9px; margin-right: 6px; border-radius: 50%; vertical-align: -1px; } .legend i.sq { border-radius: 2px; }
.tip { position: absolute; z-index: 5; pointer-events: none; opacity: 0; min-width: 170px; padding: 8px 10px; background: #fff; border-radius: 6px;
  box-shadow: 0 0 0 1px var(--grid), 0 4px 14px rgba(0, 0, 0, .06); font-size: 13px; line-height: 18px; color: var(--muted); transition: opacity .1s; }
.tip .head { margin-bottom: 3px; color: var(--ink); } .tip .row { display: flex; justify-content: space-between; gap: 16px; } .tip .row b { font-weight: 500; color: var(--ink); }

.grid { stroke: var(--grid); stroke-width: 1; } .zero { stroke: #b5b5b5; stroke-width: 1.25; stroke-dasharray: 4 3; } .tick { font-size: 12.5px; fill: var(--muted); } .axis { font-size: 12.5px; fill: var(--muted); }
.ptlabel { font-size: 12.5px; fill: var(--label); } .ptlabel.sm { font-size: 11px; } .ptlabel.me.sm { font-size: 12px; } .minititle { font-size: 12.5px; fill: var(--ink); font-weight: 500; } .ptlabel.me { fill: #2a66e8; font-weight: 600; font-size: 13.5px; } .dot { stroke: #fff; stroke-width: 2; } .hit { fill: transparent; }
.mix { fill: none; stroke: #b5b5b5; stroke-width: 1.25; stroke-dasharray: 4 3; } .mixlabel { font-size: 12px; fill: var(--muted); }
.trace { fill: none; stroke-width: 1.75; stroke-linejoin: round; } .ref { stroke-width: 1.25; stroke-dasharray: 4 3; } .cross { stroke: #d0d0d0; }

.bars { font-size: 15px; } .bars-row { display: grid; grid-template-columns: 170px 1fr 64px; align-items: center; column-gap: 16px; padding: 7px 0; }
.bars-label { line-height: 18.75px; color: var(--ink); } .bars-sub { display: block; font-size: 13px; line-height: 17px; color: var(--toc); }
.bars-track { position: relative; height: 14px; } .bars-fill { position: absolute; top: 0; height: 14px; border-radius: 3px; background: #2a66e8; transition: opacity .12s; }
.bars-fill.base { background: var(--grid); } .bars-row:hover .bars-fill { opacity: .8; }
.bars-value { text-align: right; font-size: 15px; font-weight: 500; color: var(--ink); } .bars-value.neg { color: var(--muted); font-weight: 400; }
.bars-zero { position: absolute; top: -6px; bottom: -6px; width: 1px; background: #c8c8c8; }
.bars-head { display: grid; grid-template-columns: 170px 1fr 64px; column-gap: 16px; margin-bottom: 8px; font-size: 13px; color: var(--muted); }
.bars-head span:last-child { text-align: right; }
.multiples { display: grid; justify-content: space-between; }
.stack-row { display: grid; grid-template-columns: 132px 1fr; align-items: center; column-gap: 16px; padding: 6px 0; }
.stack-label { font-size: 15px; color: var(--ink); white-space: nowrap; }
.stack-bar { display: flex; height: 26px; border-radius: 4px; overflow: hidden; gap: 2px; }
.stack-seg span { visibility: hidden; }
.stack-seg { display: flex; align-items: center; overflow: hidden; padding: 0 8px; font-size: 12px; color: #fff; white-space: nowrap; transition: opacity .12s; }
.stack-seg:hover { opacity: .85; }
.bars-note { margin-top: 6px; font-size: 13px; color: var(--muted); }

@media (max-width: 1120px) { .toc { display: none; } .sidenote { position: static; display: block; width: auto; margin: 8px 0 0; font-size: 13.5px; color: var(--muted); } }
@media (max-width: 540px) { .tabs { flex-wrap: nowrap; justify-content: flex-start; overflow-x: auto; scrollbar-width: none; padding-right: 24px; -webkit-mask-image: linear-gradient(90deg, #000 82%, transparent); mask-image: linear-gradient(90deg, #000 82%, transparent); } .tabs button { flex: none; } }
@media (max-width: 720px) { body { font-size: 16px; } .page, .hero { width: auto; margin-left: 20px; margin-right: 20px; } .post-head h1 { font-size: 26px; line-height: 34px; }
  .bars-row, .bars-head { grid-template-columns: 110px 1fr 48px; column-gap: 10px; } .stack-row { grid-template-columns: 104px 1fr; column-gap: 10px; } .stack-label { font-size: 13.5px; } .bars { font-size: 14px; } }
.posts { max-width: 660px; margin: 48px auto 96px; padding: 0 20px; }   /* the blog's front page: one row per post */
.post { display: block; padding: 22px 0; color: inherit; text-decoration: none; border-top: 1px solid var(--grid); }
.post:last-child { border-bottom: 1px solid var(--grid); }
.post .date { font-size: 14px; color: var(--muted); }
.post h2 { margin: 4px 0 6px; font-size: 21px; line-height: 29px; font-weight: 600; color: var(--ink); }
.post p { font-size: 16px; line-height: 24px; color: var(--muted); }
.post:hover h2 { text-decoration: underline; text-underline-offset: 3px; }
