/* Frame for anything you read, Inter for interface. Licensed web fonts from
   Commercial Type: Frame Head (2610-NEOENI) and Frame Text (2610-JMARQL). */
@font-face { font-family: "Frame Head"; font-weight: 600; font-display: swap;
  src: url(/fonts/FrameHead-Semibold-Web.woff2) format("woff2"); }
@font-face { font-family: "Frame Text"; font-weight: 400; font-display: swap;
  src: url(/fonts/FrameText-Roman-Web.woff2) format("woff2"); }
@font-face { font-family: "Frame Text"; font-weight: 400; font-style: italic; font-display: swap;
  src: url(/fonts/FrameText-Italic-Web.woff2) format("woff2"); }
@font-face { font-family: "Frame Text"; font-weight: 600; font-display: swap;
  src: url(/fonts/FrameText-Semibold-Web.woff2) format("woff2"); }
/* Inter and Inconsolata (SIL Open Font License): the Latin subsets of the
   variable fonts, as Google Fonts serves them */
@font-face { font-family: Inter; font-weight: 400 600; font-display: swap;
  src: url(/fonts/Inter-Latin-Variable.woff2) format("woff2"); }
@font-face { font-family: Inconsolata; font-weight: 400 700; font-display: swap;
  src: url(/fonts/Inconsolata-Latin-Variable.woff2) format("woff2"); }

:root {
  --bg: #FBFAF7; --ink: #1C1B19; --grey: #4D4944; --mute: #655F58;
  --rule: #E6E1D8; --underline: #CBC3B6; --code: #FBEFE4;
  --kw: #009128; --ctor: #002FFF; --quote: #E9712C; --comment: #8E8E96;   /* as in the papers' listings */
  --accent: #D63A0C; --mark: var(--accent);   /* red-orange on light paper; 4.5:1 for text */
  --accent-2: #2D5FA6;                         /* a second highlight, for essays */
  --state: #EBEEF2;                            /* what an analysis knows, beside the code */
  --error: #C4261D;                            /* compiler errors, on the 404 page */
  --f1: #C2185B; --f2: #D9541E; --f3: #A87A0C; --f4: #198A4A; --f5: #1A78B0;   /* figure colours */
  --grain: 0.075;
  --serif: "Frame Text", Georgia, serif;
  --head: "Frame Head", Georgia, serif;
  --ui: Inter, system-ui, sans-serif;
  --mono: Inconsolata, ui-monospace, SFMono-Regular, Menlo, monospace;
  color-scheme: light;
}
/* dark follows the system unless the toggle has picked a side; the same
   values appear twice because a media query can't share a rule with a selector */
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #141418; --ink: #ECE7DF; --grey: #BDB6AB; --mute: #9C958A;
    --rule: #36322D; --underline: #5A544C; --code: #24221F;
    --kw: #4FC46E; --ctor: #8AA4FF; --quote: #F08A4B; --comment: #85858C;
    --accent: #00d6cf; --mark: var(--accent);   /* bright teal in the dark */
    --accent-2: #E0A458;
    --state: #1E2230;
    --error: #FF6B60;
    --f1: #F06C9B; --f2: #FF8C5A; --f3: #E2B74E; --f4: #5CC98A; --f5: #5DB7EA;
    --grain: 0.09;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #141418; --ink: #ECE7DF; --grey: #BDB6AB; --mute: #9C958A;
  --rule: #36322D; --underline: #5A544C; --code: #24221F;
  --kw: #4FC46E; --ctor: #8AA4FF; --quote: #F08A4B; --comment: #85858C;
  --accent: #00d6cf; --mark: var(--accent);
  --accent-2: #E0A458;
  --state: #1E2230;
  --error: #FF6B60;
  --f1: #F06C9B; --f2: #FF8C5A; --f3: #E2B74E; --f4: #5CC98A; --f5: #5DB7EA;
  --grain: 0.09;
  color-scheme: dark;
}

*, *::before, *::after { box-sizing: border-box; }
/* clip, not hidden: the grain bleeds past the column without adding a
   sideways scroll, and without breaking the sticky side menu */
html, body { overflow-x: clip; }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font: 17px/1.55 var(--serif);
  -webkit-font-smoothing: antialiased;
}
h1, h2, h3, p { margin: 0; }

a { color: var(--ink); text-decoration: underline; text-decoration-color: var(--underline);
    text-decoration-thickness: 1px; text-underline-offset: 3px; transition: text-decoration-color .15s ease; }
a:hover { text-decoration-color: var(--mark); }
a:focus-visible { outline: 2px solid var(--mark); outline-offset: 3px; border-radius: 2px; }

.visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }

/* ---- page frame ---------------------------------------------------------- */

.page { max-width: 1040px; margin: 0 auto;
        padding: 0 max(32px, env(safe-area-inset-right)) 0 max(32px, env(safe-area-inset-left)); }
/* On iPhones the page runs under the status bar (viewport-fit=cover). This
   strip of paper sits behind the status bar, so nothing shows through it as
   the page scrolls, and the side menu sticks just below it. Elsewhere the
   inset is 0 and neither has any effect. */
body::before {
  content: ""; position: fixed; top: 0; left: 0; right: 0; height: env(safe-area-inset-top);
  background: var(--bg); z-index: 3;
}

.top {
  height: 64px; display: flex; align-items: flex-end; justify-content: space-between;
  gap: 8px 24px; font: 500 14px var(--ui); position: relative; z-index: 1;
}
.top a { text-decoration: none; }
.top-name { font-weight: 600; }
.top nav { display: flex; gap: 24px; margin-left: auto; }
.top nav a { color: var(--grey); position: relative; }
.top nav a:hover, .top nav a[aria-current="page"] { color: var(--ink); }
.top nav a[aria-current="page"]::after {
  content: ""; position: absolute; left: 50%; top: calc(100% + 6px);
  width: 16px; height: 2px; transform: translateX(-50%); background: var(--mark);
}

/* light/dark toggle: shows the sun in the dark and the moon in the light */
.theme-toggle {
  display: grid; place-items: center; width: 28px; height: 28px; margin: 0 -6px -6px 0; padding: 0;
  border: 0; border-radius: 6px; background: none; color: var(--grey); cursor: pointer;
}
.theme-toggle:hover { color: var(--ink); }
.theme-toggle:focus-visible { outline: 2px solid var(--mark); outline-offset: 1px; }
.theme-toggle svg { width: 16px; height: 16px; }
.theme-toggle .sun { display: none; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-toggle .sun { display: block; }
  :root:not([data-theme="light"]) .theme-toggle .moon { display: none; }
}
:root[data-theme="dark"] .theme-toggle .sun { display: block; }
:root[data-theme="dark"] .theme-toggle .moon { display: none; }

/* ---- the mark: one family of flat accent rectangles ---------------------- */

.mark { display: block; width: 20px; height: 3px; background: var(--mark); }
.mark-page { width: 44px; }

/* ---- masthead -------------------------------------------------------------- */

.hero { position: relative; padding: 88px 0 96px; display: flex; flex-direction: column; gap: 22px; }
.hero > :not(.grain) { position: relative; z-index: 1; max-width: 720px; }
/* just a title and its mark: no rule, and less room before the content */
.hero-bare { padding-bottom: 56px; }
.hero-bare + .grid { border-top: 0; }
.hero h1 { font: 600 56px/1.02 var(--head); letter-spacing: -0.015em; }
.hero .post-title { font-size: 48px; line-height: 1.08; letter-spacing: -0.01em; }
.who { display: flex; flex-direction: column; gap: 16px; }
.contact { display: flex; flex-wrap: wrap; gap: 4px 20px; font: 500 15px var(--ui); }
.contact a { color: var(--grey); }
.contact a:hover { color: var(--ink); }
.lede { font-size: 20px; line-height: 1.6; }
.now { display: flex; gap: 14px; align-items: baseline; color: var(--grey); }
.now-label { font: 600 14px var(--ui); color: var(--mute); }
.back { font: 500 14px var(--ui); }
.back a { color: var(--grey); text-decoration: none; }
.post-meta { font: 14px var(--ui); color: var(--mute); }
.post-context { font: italic 17px/1.5 var(--serif); color: var(--grey); }
.tag { text-transform: capitalize; }
/* a tag on a post: a hairline label that filters Writing down to its kind */
.tag-pill {
  display: inline-block; margin-left: 6px; padding: 1px 6px; vertical-align: 2px;
  font: 500 12px/1.4 var(--ui); color: var(--grey); text-decoration: none;
  border: 1px solid var(--underline); border-radius: 3px;
  transition: background-color .15s ease, border-color .15s ease, color .15s ease;
}
.post-meta .tag-pill { margin-left: 8px; vertical-align: 0; }
.entry-tags { display: flex; flex-wrap: wrap; gap: 6px; margin: 6px 0 4px; }
.entry-tags .tag-pill { margin: 0; vertical-align: 0; }
/* hovering fills a tag with the accent; the tag being filtered on stays filled */
.tag-pill:hover, .tag-pill[aria-current] { background: var(--accent); border-color: var(--accent); color: var(--bg); }

/* The grain: contour lines of one smooth function, edge to edge, from the top
   of the page down to the rule. Drawn as a mask so it takes the ink colour. */
.grain {
  position: absolute; top: -64px; bottom: 0; left: 50%; width: 100vw; transform: translateX(-50%);
  z-index: 0; pointer-events: none;
  background: var(--ink); opacity: var(--grain);
  /* the lines, faded out towards the bottom so the masthead needs no rule */
  -webkit-mask: url(/images/grain.svg) center / cover no-repeat, linear-gradient(to bottom, #000 35%, transparent);
  -webkit-mask-composite: source-in;
          mask: url(/images/grain.svg) center / cover no-repeat, linear-gradient(to bottom, #000 35%, transparent);
          mask-composite: intersect;
}
.hero-grain + .grid { border-top: 0; }

/* ---- side menu and content ---------------------------------------------- */

.grid { display: grid; grid-template-columns: 184px minmax(0, 1fr); gap: 88px; border-top: 1px solid var(--rule); }
.rail {
  position: sticky; top: env(safe-area-inset-top); align-self: start; height: 100vh;
  padding: 48px 0 40px; display: flex; flex-direction: column; gap: 28px;
  font: 14px var(--ui); z-index: 2;
}
.rail a { text-decoration: none; }
/* hidden, not just transparent, until shown, so it can't take keyboard focus */
.rail-name {
  font: 600 20px/1.2 var(--head); white-space: nowrap;
  opacity: 0; visibility: hidden; transform: translateY(6px);
  transition: opacity .25s ease, transform .25s ease, visibility .25s;
}
.rail.show-name .rail-name { opacity: 1; visibility: visible; transform: none; }
.rail-nav { display: flex; flex-direction: column; gap: 2px; margin: 0; padding: 0; list-style: none; }
.rail-nav a { display: flex; align-items: center; gap: 10px; padding: 5px 0; font-weight: 500; color: var(--mute); transition: color .2s ease; }
.rail-nav a::before {
  content: ""; flex: none; width: 8px; height: 3px; background: var(--rule);
  transition: width .25s ease, background-color .25s ease;
}
.rail-nav a:hover, .rail-nav a.is-active { color: var(--ink); }
.rail-nav a.is-active::before { width: 20px; background: var(--mark); }
.rail-foot { margin-top: auto; display: flex; flex-direction: column; gap: 6px; font-weight: 500; }

.main { min-width: 0; max-width: 640px; padding: 48px 0 120px; display: flex; flex-direction: column; gap: 96px; }
.main section, .prose h2 { scroll-margin-top: 40px; }
.sh { margin-bottom: 28px; font: 600 26px/1.2 var(--head); letter-spacing: -0.005em; }
.foot { font: 14px var(--ui); color: var(--mute); }
/* a course's supervision sheets: one row per sheet, its number and topics */
.sheets { margin: 10px 0 0; padding: 0; list-style: none; border-top: 1px solid var(--rule); }
.sheets li { border-bottom: 1px solid var(--rule); }
.sheets a { display: grid; grid-template-columns: 28px minmax(0, 1fr); gap: 8px; padding: 10px 0; text-decoration: none; color: var(--grey); }
.sheets a:hover { color: var(--ink); }
.sheets a:hover .sheet-n { color: var(--accent); }
.sheet-n { font: 600 14px/1.6 var(--ui); color: var(--mute); font-variant-numeric: tabular-nums; transition: color .15s ease; }
.sheet-topics { font-size: 15px; line-height: 1.5; }

/* ---- entries: one pattern for every list on the site ---------------------- */

.entries { display: flex; flex-direction: column; gap: 32px; }
.entries-papers { gap: 40px; }
.entry { display: flex; flex-direction: column; gap: 4px; }
.entry-head { display: flex; justify-content: space-between; align-items: baseline; gap: 16px; }
.entry-title { flex: 1 1 auto; min-width: 0; font-weight: 600; font-size: 18px; line-height: 1.4; }
.entry-title a { text-decoration: none; }
.entry-title a:hover { text-decoration: underline; text-decoration-color: var(--mark); }
.subtitle { display: block; margin-top: 2px; font-size: 16px; font-weight: 400; color: var(--grey); }
.entry-date { flex: none; white-space: nowrap; font: 14px var(--ui); color: var(--mute); font-variant-numeric: tabular-nums; }
.entry-desc { color: var(--grey); font-size: 15px; }
.authors { font-size: 17px; }
.entry-links { display: flex; flex-wrap: wrap; gap: 4px 16px; margin-top: 8px; font: 500 14px var(--ui); }
.links-label { color: var(--mute); }
/* labelled lines under an entry: the label in a narrow column, the text beside it */
.entry-details { display: flex; flex-direction: column; gap: 4px; margin: 4px 0 0; }
.entry-details div { display: grid; grid-template-columns: 96px minmax(0, 1fr); gap: 12px; align-items: baseline; }
.entry-details dt { font: 500 13px var(--ui); color: var(--mute); }
.entry-details dd { margin: 0; font-size: 15px; color: var(--grey); }
.paper .mark { margin: 12px 0 8px; }
.more { font: 500 14px var(--ui); margin-top: 4px; }

/* the 404 page: the missing address as a compiler would report it, in the
   compiler's colours: the location in bold, the error and its carets in red */
.compiler-error {
  margin: 8px 0 0; padding: 14px 18px; background: var(--code); border-radius: 6px;
  font: 15px/1.6 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere;
}
.compiler-error .line {
  display: block; padding-left: calc((var(--i, 0) + 2) * 1ch); text-indent: calc((var(--i, 0) + 2) * -1ch);
}
.compiler-error .line[hidden] { display: none; }
.compiler-error b { font-weight: 700; }
.compiler-error .err { color: var(--error); }
.page-foot { padding: 0 0 80px; }

/* the Writing filter, in the left column: a search box over the tags */
.filter-box { display: flex; flex-direction: column; gap: 14px; }
.search {
  width: 100%; padding: 6px 10px; border: 1px solid var(--underline); border-radius: 4px;
  background: transparent; color: var(--ink); font: 14px var(--ui); transition: border-color .15s ease;
}
.search::placeholder { color: var(--mute); }
.search:focus { outline: none; border-color: var(--accent); }
.filter-tags { display: flex; flex-wrap: wrap; gap: 6px; }
.filter-tags .tag-pill { margin: 0; padding: 3px 8px; font-size: 13px; vertical-align: 0; }
.filter-tags .count { margin-left: 6px; font-variant-numeric: tabular-nums; opacity: 0.65; }
.entry[hidden] { display: none; }
.pager { display: flex; align-items: center; justify-content: space-between; gap: 16px; font: 500 14px var(--ui); }
.pager[hidden] { display: none; }
.pager button { padding: 0; border: 0; background: none; color: var(--ink); font: inherit; cursor: pointer; }
.pager button:hover { color: var(--accent); }
.pager button:disabled { visibility: hidden; }
.pager span { color: var(--mute); font-variant-numeric: tabular-nums; }

/* ---- posts ---------------------------------------------------------------- */

.prose { font-size: 19px; line-height: 1.65; }
.prose > * + * { margin-top: 1.2em; }
.prose h2 { font: 600 26px/1.2 var(--head); margin-top: 2em; }
.prose pre {
  margin: 0; padding: 14px 18px; background: var(--code); border-radius: 6px;
  overflow-x: auto; font: 16px/24px var(--mono);
}
.prose code { font: 0.95em var(--mono); }
/* OCaml, highlighted as in the papers: bold green keywords, bold blue constructors */
.prose .ocaml-keyword, .prose .ocaml-keyword-other { color: var(--kw); font-weight: 700; }
.prose .ocaml-constant-language-capital-identifier { color: var(--ctor); font-weight: 700; }
.prose [class^="ocaml-comment"] { color: var(--comment); }
/* code.js wraps each block to add line numbers in the margin and a language badge */
.code-block { position: relative; }
.code-block.has-lang pre { padding-top: 24px; }
.code-ln {
  position: absolute; top: 14px; left: -36px; width: 24px; margin: 0; padding: 0; list-style: none;
  font: 12px/24px var(--mono); color: var(--mute); text-align: right; user-select: none;
}
.code-block.has-lang .code-ln { top: 24px; }
.code-lang {
  position: absolute; top: 0; right: 14px; padding: 1px 6px 2px; border-radius: 0 0 3px 3px;
  background: #E9712C; color: #FFFFFF; font: 700 12px/1.3 var(--mono);   /* OCaml's orange, in both themes */
}
.prose pre code { font: inherit; }
/* code.js puts each line in a span; on phones a wrapped line hangs two
   characters in from where its own line starts */
.code-block .line { display: block; min-height: 24px; }
.prose .katex { font-size: 1.05em; }
.prose .katex-display { margin: 1.2em 0; overflow-x: auto; overflow-y: hidden; padding: 2px 0; }
.ink-a { color: var(--accent); }
.ink-b { color: var(--accent-2); }
/* a principle the essay names, set apart on its own line */
.prose .motto { text-align: center; font: 600 15px var(--ui); letter-spacing: .01em; margin: 1.6em 0; }
.prose figure { margin: 1.6em 0; }
.prose figure img { display: block; max-width: 100%; height: auto; margin: 0 auto; border-radius: 4px; }
/* figures of a program beside what an analysis knows at each line */
.trace-wrap { overflow-x: auto; }
.trace { margin: 0 auto; border-collapse: separate; border-spacing: 6px 0; font: 15px/2.1 var(--mono); }
.trace td { padding: 0 16px; vertical-align: baseline; }
.trace td.ln { padding: 0 2px 0 0; text-align: right; color: var(--mute); user-select: none; }
.trace td.code { background: var(--code); white-space: pre; }
.trace td.state { background: var(--state); white-space: nowrap; font-family: var(--serif); }
.trace tr:first-child td:not(.ln) { padding-top: 8px; }
.trace tr:last-child td:not(.ln) { padding-bottom: 8px; }
.trace tr:first-child td.code, .trace tr:first-child td.state { border-radius: 6px 6px 0 0; }
.trace tr:last-child td.code, .trace tr:last-child td.state { border-radius: 0 0 6px 6px; }
.trace b { color: var(--kw); font-weight: 700; }   /* keywords, as in the OCaml listings */
.fig-dbm { display: flex; flex-wrap: wrap; justify-content: center; align-items: center; gap: 8px 56px; }
/* the two halves wrap onto separate rows instead of scrolling; KaTeX overhangs
   its box by a pixel or two, which would otherwise make each one scrollable */
.fig-dbm .katex-display { margin: 0; overflow: visible; }
/* a wide derivation, set smaller as the LaTeX did with \scalebox */
.prose .math-small .katex-display { font-size: 0.7em; }
/* the DBM figure pairs each bound with its matrix entry by colour */
.f0 { color: var(--mute); }
.f1 { color: var(--f1); } .f2 { color: var(--f2); } .f3 { color: var(--f3); } .f4 { color: var(--f4); } .f5 { color: var(--f5); }
/* nested paramorphisms: code, and the same template drawn as a tree, coloured by nesting level */
.lv1 { color: var(--ink); } .lv2 { color: var(--accent); } .lv3 { color: var(--accent-2); }
.lv1-fill { fill: var(--ink); } .lv2-fill { fill: var(--accent); }
.para-code { background: none !important; padding: 0 !important; font: 15px/1.9 var(--mono); overflow-x: auto; }
.para-code b { font-weight: 400; }
.para-code i.g { font: italic 1.15em var(--serif); }
.para-code sub, .para-code sup { font-size: 0.66em; line-height: 0; }
.fig-para { display: flex; justify-content: center; }
.fig-para-nest { flex-direction: column; align-items: center; gap: 12px; }
.para-tree { width: 100%; max-width: 560px; height: auto; font: 15px var(--mono); }
.para-tree text { fill: currentColor; }
.para-tree line { stroke: currentColor; stroke-width: 1.4; }
.para-tree .sup { font-size: 10px; } .para-tree .sub { font-size: 11px; }
.para-tree .g { font: italic 17px var(--serif); }
.prose figcaption { margin-top: 10px; font: 14px/1.5 var(--ui); color: var(--mute); text-align: center; }
/* footnotes and references: smaller, after a rule */
.prose section[role="doc-endnotes"] {
  margin-top: 3em; padding-top: 1.2em; border-top: 1px solid var(--rule); font-size: 15px; line-height: 1.55; color: var(--grey);
}
.prose section[role="doc-endnotes"] ol { padding-left: 1.2em; }
.prose ol.references { list-style: none; padding: 0; display: flex; flex-direction: column; gap: 12px; font-size: 15px; line-height: 1.55; color: var(--grey); }
.prose ol.references li { display: grid; grid-template-columns: 36px minmax(0, 1fr); gap: 4px; scroll-margin-top: 40px; }
.prose ol.references .ref-n { font: 500 13px/1.9 var(--ui); color: var(--mute); }
.prose ol.references a { overflow-wrap: anywhere; }
.prose ol.references li:target .ref-n { color: var(--mark); }
.prose a.cite { text-decoration: none; color: var(--accent); }
.prose a.cite:hover { text-decoration: underline; }
.prose .fn-label { text-decoration: none; font: 500 0.7em var(--ui); }
.prose blockquote { margin-left: 0; padding-left: 18px; border-left: 1px solid var(--rule); color: var(--grey); font-style: italic; }

/* ---- phones ---------------------------------------------------------------- */

@media (max-width: 760px) {
  .page { padding: 0 max(24px, env(safe-area-inset-right)) 0 max(24px, env(safe-area-inset-left)); }
  /* four nav items don't fit beside the name: the name takes its own line */
  .top { height: auto; padding-top: 20px; flex-wrap: wrap; align-items: center; }
  .top-name { flex-basis: 100%; }
  .top nav { margin-left: 0; gap: 18px; }
  .theme-toggle { margin-left: auto; }
  .hero { padding: 48px 0 56px; }
  .hero-bare { padding-bottom: 40px; }
  .hero h1 { font-size: 44px; }
  .hero .post-title { font-size: 36px; }
  .grid { grid-template-columns: minmax(0, 1fr); gap: 0; }
  /* edge to edge, like a header bar, so Safari colours the status bar to match */
  .rail {
    height: auto; margin: 0 -24px; padding: 12px 24px; gap: 16px; flex-direction: row; align-items: center;
    background: var(--bg); border-bottom: 1px solid var(--rule); overflow-x: auto; scrollbar-width: none;
  }
  .rail::-webkit-scrollbar { display: none; }
  /* the name would hold an empty gap at the start of the row until it fades
     in, so on phones it only takes up room once it is shown */
  .rail-name { display: none; font-size: 17px; }
  .rail.show-name .rail-name { display: block; }
  .rail-nav { flex-direction: row; gap: 20px; }
  .rail-nav a { padding: 0; white-space: nowrap; }
  .rail-nav a::before, .rail-foot { display: none; }
  /* fade the far end so a cut-off item reads as "scroll for more" */
  .rail { -webkit-mask: linear-gradient(to right, #000 calc(100% - 32px), transparent);
                  mask: linear-gradient(to right, #000 calc(100% - 32px), transparent); padding-right: 56px; }
  .main { padding: 40px 0 80px; gap: 72px; }
  .main section, .prose h2 { scroll-margin-top: calc(64px + env(safe-area-inset-top)); }
  .code-ln { display: none; }
  .code-block pre { white-space: pre-wrap; overflow-wrap: anywhere; }
  .code-block .line { padding-left: calc((var(--i) + 2) * 1ch); text-indent: calc((var(--i) + 2) * -1ch); }
  /* on phones the filter sits above the list as an ordinary block */
  .rail.filters { position: static; flex-direction: column; align-items: stretch; overflow: visible;
                  margin: 0; padding: 24px 0 0; border-bottom: 0; -webkit-mask: none; mask: none; }
  .entry-details div { grid-template-columns: minmax(0, 1fr); gap: 0; }
}