/* Shared navigation. Native links preserve history, direct URLs, and new-tab use. */
.brand-symbol {
  display: flex;
  align-items: center;
  flex: 0 0 auto;
  padding-left: 28px;
  border-left: 1px solid var(--rule);
  height: 52px;
}
.brand-symbol img { display: block; width: 78px; height: auto; }
.footer-tagline { display: flex; gap: 30px; }
.site-nav {
  display: flex;
  align-items: center;
  gap: clamp(20px, 3vw, 44px);
  margin-left: auto;
  align-self: stretch;
  font: 400 11px/1.5 var(--mono);
}
.site-nav a {
  display: flex;
  align-items: center;
  position: relative;
  white-space: nowrap;
  min-height: 44px;
}
.site-nav a:hover, .page-footer a:hover { color: var(--signal); }
.site-nav a[aria-current="page"] { color: var(--signal); }
.site-nav a[aria-current="page"]::after {
  content: '';
  position: absolute;
  bottom: -1px;
  left: 0;
  width: 100%;
  height: 2px;
  background: var(--signal);
}
.interior-main {
  display: grid;
  grid-template-columns: 43% 57%;
  align-items: center;
  min-height: 0;
  padding: clamp(26px, 5vh, 62px) 0;
}
.page-statement { min-width: 0; padding-right: clamp(24px, 4vw, 72px); }
.interior h1 {
  font: 600 clamp(50px, 5.5vw, 94px)/1.04 var(--serif);
  letter-spacing: -.05em;
  margin: 27px 0;
}
.interior h1 br { display: block; }
.interior h1 em { white-space: normal; }
.premise-page h1 { font-size: clamp(44px, 4.7vw, 80px); }
.statement-copy {
  font: 400 15px/1.85 var(--sans);
  color: var(--muted);
  max-width: 360px;
  margin: 0;
}
.name-note {
  margin-top: clamp(30px, 5vh, 60px);
  border-top: 1px solid var(--rule);
  padding-top: 20px;
  max-width: 365px;
}
.section-label { font: 400 9px/1.6 var(--mono); letter-spacing: 1px; color: var(--signal); }
.name-note p { font: 400 12px/1.85 var(--sans); color: var(--muted); margin: 12px 0 10px; }
.name-note .text-button, .statement-link { font-size: 10px; }
.statement-link { margin-top: 28px; border-bottom: 1px solid var(--rule); padding-bottom: 6px; }
.principles, .publication-index { min-width: 0; margin-left: 12px; }
.section-bar {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  padding-bottom: 19px;
  border-bottom: 1px solid var(--rule);
  font: 400 9px/1.6 var(--mono);
  letter-spacing: 1px;
  color: var(--dim);
}
.section-bar h2 { font: inherit; margin: 0; color: var(--ink); }
.principle-list { list-style: none; padding: 0; margin: 0; }
.principle-list li { display: grid; grid-template-columns: 48px 1fr; gap: 23px; padding: 30px 0; border-bottom: 1px solid var(--rule); }
.principle-number { font: 400 12px/1.8 var(--mono); color: var(--signal); padding-top: 4px; }
.principle-list h3 { font: 600 27px/1.2 var(--serif); letter-spacing: -.55px; margin: 0 0 12px; max-width: 390px; }
.principle-list p { font: 400 12px/1.85 var(--sans); color: var(--muted); margin: 0; max-width: 445px; }
.page-bridge { display: flex; justify-content: space-between; align-items: center; gap: 20px; min-height: 68px; font: 400 10px/1.5 var(--mono); }
.page-bridge > span:first-child { color: var(--dim); font-size: 8px; letter-spacing: .6px; }
.page-bridge > span:last-child { display: flex; align-items: center; gap: 16px; }
.page-bridge:hover { color: var(--signal); }
.publication-index { align-self: stretch; display: grid; grid-template-rows: auto minmax(0, 1fr) 58px; }
.index-empty { display: flex; flex-direction: column; justify-content: center; padding: 25px 0 25px clamp(25px, 5vw, 80px); position: relative; }
.empty-count { font: 400 11px/1.5 var(--mono); letter-spacing: 1px; color: var(--dim); display: flex; align-items: center; gap: 16px; margin-bottom: 34px; }
.empty-dash { color: var(--signal); }
.empty-copy .section-label { margin: 0 0 16px; color: var(--dim); font-size: 8px; }
.empty-copy h3 { font: 600 clamp(36px, 3.7vw, 62px)/1.08 var(--serif); margin: 0 0 22px; letter-spacing: -.035em; }
.empty-copy > p:last-child { font: 400 13px/1.9 var(--sans); color: var(--muted); max-width: 300px; margin: 0; }
.index-bottom { display: flex; align-items: center; justify-content: space-between; gap: 12px; border-top: 1px solid var(--rule); }
.index-note { font: 400 8px/1.6 var(--mono); letter-spacing: .8px; color: var(--dim); }
.index-pagination { display: flex; align-items: center; gap: 18px; }
.index-pagination .text-button { justify-content: center; min-width: 44px; min-height: 44px; font-size: 18px; }
.index-pagination button:disabled { opacity: .25; cursor: default; }
#page-status { font: 400 9px/1.5 var(--mono); color: var(--muted); white-space: nowrap; }
.publication-list { display: flex; flex-direction: column; min-height: 0; justify-content: center; }
.publication { padding: 24px 0; border-bottom: 1px solid var(--rule); }
.publication:last-child { border-bottom: 0; }
.publication-meta { display: flex; align-items: center; gap: 18px; font: 400 9px/1.5 var(--mono); color: var(--muted); }
.publication-type { color: var(--signal); }
.publication h3 { margin: 12px 0 10px; font: 600 29px/1.18 var(--serif); letter-spacing: -.6px; }
.publication h3 a { display: flex; justify-content: space-between; align-items: baseline; gap: 20px; }
.publication h3 a:hover { color: var(--signal); }
.publication-arrow { color: var(--signal); font: 400 18px var(--mono); flex: 0 0 auto; }
.publication-summary { font: 400 12px/1.8 var(--sans); margin: 0; max-width: 520px; color: var(--muted); }
.publication-authors { font: 400 9px/1.7 var(--mono); color: var(--dim); margin: 14px 0 0; }
.publication-availability { font: 400 9px/1.7 var(--mono); color: var(--signal); margin: 10px 0 0; }
.research-noscript { color: var(--muted); font-size: 12px; }
.research-short-title { display: none; }
@media (max-height: 760px) and (min-width: 761px) {
  .interior-main { padding-block: 26px; }
  .interior h1 { font-size: clamp(48px, 5.1vw, 70px); margin: 20px 0; }
  .premise-page h1 { font-size: clamp(42px, 4.4vw, 63px); }
  .statement-copy { font-size: 13px; }
  .name-note { margin-top: 26px; padding-top: 15px; }
  .name-note p { font-size: 11px; margin-block: 9px; }
  .principle-list li { padding-block: 20px; gap: 12px; grid-template-columns: 38px 1fr; }
  .principle-list h3 { font-size: 24px; margin-bottom: 9px; }
  .principle-list p { font-size: 11px; line-height: 1.75; }
  .page-bridge { min-height: 52px; }
  .publication { padding-block: 17px; }
  .publication h3 { font-size: 25px; }
}
@media (max-width: 1000px) and (min-width: 761px) {
  .page-statement { padding-right: 30px; }
  .premise-page h1 { font-size: 42px; }
  .statement-copy { font-size: 13px; }
  .principle-list li { grid-template-columns: 25px 1fr; gap: 12px; }
  .principle-list h3 { font-size: 23px; }
  .principle-list p { font-size: 11px; }
  .page-bridge > span:first-child { display: none; }
  .page-bridge { justify-content: flex-end; }
  .section-bar { font-size: 8px; letter-spacing: .5px; }
  .index-empty { padding-left: 28px; }
}
@media (max-width: 760px) {
  .brand-symbol { padding: 0; border: 0; height: auto; margin-left: 18px; }
  .brand-symbol img { width: 48px; }
  .footer-tagline { flex-direction: column; gap: 1px; }
  .site-nav { gap: 20px; font-size: 10px; }
  .interior-main { grid-template-columns: 1fr; grid-template-rows: auto minmax(0, 1fr); gap: 26px; padding: 25px 0 12px; align-items: stretch; }
  .page-statement { padding-right: 0; }
  .interior h1 { font-size: clamp(38px, 8.9vw, 60px); margin: 14px 0 13px; }
  .statement-copy { font-size: 12px; line-height: 1.75; max-width: 480px; }
  .name-note { display: none; }
  .principles, .publication-index { margin-left: 0; }
  .principles { display: flex; flex-direction: column; justify-content: center; }
  .section-bar { font-size: 8px; padding-bottom: 13px; letter-spacing: .6px; }
  .principle-list li { grid-template-columns: 23px 1fr; gap: 13px; padding-block: 18px; }
  .principle-number { font-size: 10px; padding-top: 2px; }
  .principle-list h3 { font-size: 23px; line-height: 1.15; margin-bottom: 8px; }
  .principle-list p { font-size: 11px; line-height: 1.7; }
  .page-bridge { min-height: 48px; font-size: 9px; }
  .page-bridge > span:first-child { font-size: 7px; }
  .interior .page-footer { font-size: 7px; letter-spacing: .25px; }
  .interior .page-footer > span { max-width: 180px; text-align: right; }
  .research-page h1 { font-size: 44px; }
  .research-page h1 br:first-of-type { display: block; }
  .statement-link { margin-top: 12px; font-size: 9px; min-height: 35px; padding: 0; }
  .publication-index { grid-template-rows: auto minmax(0, 1fr) 42px; }
  .index-empty { padding: 12px 22px; }
  .empty-count { margin-bottom: 23px; }
  .empty-copy h3 { font-size: 39px; margin-bottom: 18px; }
  .empty-copy .section-label { margin-bottom: 12px; }
  .empty-copy > p:last-child { font-size: 12px; line-height: 1.8; }
  .index-note { font-size: 7px; letter-spacing: .35px; }
  .index-pagination { gap: 4px; }
  .publication { padding-block: 18px; }
  .publication h3 { font-size: 26px; }
  .publication-summary { font-size: 12px; }
}
@media (max-width: 380px) {
  .site-nav { font-size: 8px; gap: 12px; }
  .masthead .wordmark { font-size: 16px; }
  .brand-symbol { margin-left: 10px; }
  .brand-symbol img { width: 42px; }
  .interior-main { gap: 17px; padding-top: 18px; }
  .interior h1 { font-size: 35px; }
  .statement-copy { font-size: 11px; }
  .principle-list li { padding-block: 12px; gap: 10px; grid-template-columns: 18px 1fr; }
  .principle-list h3 { font-size: 20px; }
  .principle-list p { font-size: 10px; line-height: 1.6; }
  .page-bridge > span:first-child { display: none; }
  .page-bridge { justify-content: flex-end; min-height: 40px; }
  .empty-copy h3 { font-size: 33px; }
  .empty-copy > p:last-child { font-size: 11px; }
}
@media (max-width: 760px) and (max-height: 700px) {
  .interior-main { padding-top: 14px; gap: 16px; }
  .interior h1 { font-size: 34px; margin-block: 10px; }
  .statement-copy { font-size: 11px; line-height: 1.6; }
  .principle-list li { padding-block: 12px; }
  .principle-list h3 { font-size: 20px; margin-bottom: 6px; }
  .principle-list p { font-size: 10px; line-height: 1.55; }
  .section-bar { padding-bottom: 10px; }
  .page-bridge { min-height: 38px; }
  .index-empty { padding: 10px 12px; }
  .empty-count { margin-bottom: 14px; }
  .empty-copy h3 { font-size: 32px; margin-bottom: 12px; }
  .empty-copy .section-label { display: none; }
  .empty-copy > p:last-child { font-size: 11px; }
  .statement-link { display: none; }
  .publication h3 { font-size: 23px; margin-block: 10px; }
  .publication-summary { font-size: 11px; line-height: 1.6; }
  .publication-authors { margin-top: 10px; }
}
@media (max-height: 500px) and (min-width: 600px) {
  .interior-main { grid-template-columns: 42% 58%; grid-template-rows: minmax(0, 1fr); align-items: center; padding-block: 14px; gap: 0; }
  .page-statement { padding-right: 36px; }
  .interior h1 { font-size: 39px; margin-block: 13px; }
  .premise-page h1 { font-size: 33px; }
  .statement-copy { font-size: 11px; line-height: 1.6; }
  .name-note, .statement-link { display: none; }
  .section-bar { font-size: 7px; padding-bottom: 8px; }
  .principle-list li { grid-template-columns: 20px 1fr; gap: 10px; padding-block: 10px; }
  .principle-list h3 { font-size: 18px; margin-bottom: 5px; max-width: none; }
  .principle-list p { font-size: 10px; line-height: 1.5; }
  .principle-number { font-size: 9px; }
  .page-bridge { min-height: 33px; font-size: 8px; }
  .page-bridge > span:first-child { font-size: 6px; }
  .publication-index { grid-template-rows: auto minmax(0, 1fr) 40px; }
  .index-empty { padding: 12px 30px; }
  .empty-count { margin-bottom: 10px; }
  .empty-copy .section-label { display: none; }
  .empty-copy h3 { font-size: 34px; margin-bottom: 12px; }
  .empty-copy > p:last-child { font-size: 11px; line-height: 1.6; }
  .publication h3 { font-size: 22px; margin-block: 8px; }
  .publication-summary { font-size: 11px; line-height: 1.6; }
  .publication-authors { margin-top: 8px; }
}

@media (max-width: 599px) and (max-height: 620px) {
  .premise-layout { padding-block: 10px 8px; gap: 12px; }
  .premise-page h1 { font-size: 31px; margin-block: 9px; }
  .premise-page .statement-copy { font-size: 10px; line-height: 1.6; }
  .principle-list li { padding-block: 9px; }
  .principle-list h3 { font-size: 18px; margin-bottom: 5px; }
  .principle-list p { font-size: 10px; line-height: 1.5; }
  .principles .section-bar { font-size: 7px; padding-bottom: 8px; }
  .page-bridge { min-height: 34px; }
  .research-page h1 { font-size: 31px; }
  .research-layout { padding-block: 10px 8px; gap: 16px; }
  .index-empty { padding-block: 8px; }
  .empty-count { margin-bottom: 12px; }
  .empty-copy h3 { font-size: 28px; margin-bottom: 10px; }
  .publication-index { grid-template-rows: auto minmax(0, 1fr) 38px; }
}

/* On compact screens the work takes priority over the introductory headline. */
@media (max-width: 760px) {
  .has-publications .research-full-title { display: none; }
  .has-publications .research-short-title { display: inline; }
  .has-publications .statement-copy, .has-publications .statement-link { display: none; }
  .has-publications .research-layout { gap: 12px; }
}
@media (max-height: 500px) and (min-width: 600px) {
  .has-publications .publication { padding-block: 8px; }
  .has-publications .publication h3 { font-size: 20px; }
  .has-publications .publication-summary { font-size: 10px; line-height: 1.6; }
}