:root {
  --color-primary: #134074;
  --color-primary-dark: #0d2c52;
  --color-primary-light: #e7eef6;
  --color-text: #1a2332;
  --color-text-secondary: #3e4c5a;
  --color-background: #ffffff;
  --color-surface: #f4f7fa;
  --color-border: #d5dde6;
  --font-sans: "Segoe UI", system-ui, -apple-system, "Helvetica Neue", Arial, sans-serif;
  --font-mono: ui-monospace, "Cascadia Mono", "Segoe UI Mono", Consolas, monospace;
  --container: 1200px;
  --container-reading: 46rem;
  --space-section: 3.5rem;
  --header-height: 4.25rem;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  scroll-behavior: auto;
}

body {
  display: flex;
  flex-direction: column;
  min-height: 100vh;
  margin: 0;
  background: var(--color-background);
  color: var(--color-text);
  font-family: var(--font-sans);
  font-size: 1rem;
  line-height: 1.65;
}

main {
  flex: 1 0 auto;
  min-width: 0;
}

main:focus {
  outline: none;
}

main:focus-visible {
  outline: 3px solid var(--color-primary);
  outline-offset: -3px;
}

img {
  max-width: 100%;
  height: auto;
}

h1,
h2,
h3,
h4 {
  margin: 0 0 0.6em;
  overflow-wrap: break-word;
  line-height: 1.2;
  font-weight: 600;
  letter-spacing: -0.02em;
}

h1 {
  font-size: clamp(2rem, 4vw, 2.75rem);
}

h2 {
  font-size: clamp(1.4rem, 2vw, 1.75rem);
}

h3 {
  font-size: 1.15rem;
}

h4 {
  font-size: 1rem;
}

p {
  margin: 0 0 1rem;
}

a {
  color: var(--color-primary);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.16em;
}

a:hover {
  color: var(--color-primary-dark);
}

:focus-visible {
  outline: 2px solid var(--color-primary);
  outline-offset: 3px;
}

.site-footer :focus-visible {
  outline-color: #ffffff;
}

.skip-link {
  position: absolute;
  left: 1rem;
  top: -3.5rem;
  z-index: 2;
  padding: 0.5rem 0.75rem;
  background: var(--color-background);
  border: 1px solid var(--color-border);
}

.skip-link:focus {
  position: fixed;
  top: 0.75rem;
  z-index: 3;
}

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.container,
.container-narrow {
  width: min(var(--container), calc(100% - 2rem));
  min-width: 0;
  margin-inline: auto;
}

.container-narrow {
  width: min(var(--container-reading), calc(100% - 2rem));
}

.meta,
.card-meta,
.section-note {
  color: var(--color-text-secondary);
  font-size: 0.875rem;
}

code,
pre,
.article-content code,
.article-content pre {
  font-family: var(--font-mono);
}

.article-content {
  max-width: var(--container-reading);
  overflow-wrap: break-word;
  font-size: 1.0625rem;
  line-height: 1.7;
}

.article-content h2,
.article-content h3,
.article-content h4 {
  margin-top: 1.6em;
}

.article-content p,
.article-content ul,
.article-content ol,
.article-content blockquote,
.article-content pre,
.article-content table {
  margin-bottom: 1rem;
}

.article-content ul,
.article-content ol {
  padding-left: 1.25rem;
}

.article-content blockquote {
  margin-left: 0;
  padding-left: 1rem;
  border-left: 3px solid var(--color-primary);
  color: var(--color-text-secondary);
}

.article-content code {
  padding: 0.1em 0.3em;
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  font-size: 0.92em;
}

.article-content pre {
  max-width: 100%;
  min-width: 0;
  padding: 1rem;
  overflow-x: auto;
  background: var(--color-surface);
  border: 1px solid var(--color-border);
}

.article-content pre code {
  padding: 0;
  border: 0;
  background: transparent;
  white-space: pre;
}

.article-content img {
  display: block;
  margin: 1rem 0;
}

.article-content table {
  width: 100%;
  border-collapse: collapse;
}

.article-content th,
.article-content td {
  padding: 0.55rem 0.75rem;
  border-bottom: 1px solid var(--color-border);
  text-align: left;
  vertical-align: top;
}

.article-content th {
  font-size: 0.875rem;
}

.page-content h1 {
  margin-bottom: 0.8rem;
}

.page-content .statement {
  font-size: 1.25rem;
  font-weight: 600;
  letter-spacing: -0.02em;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 1;
  background: var(--color-background);
  border-bottom: 1px solid var(--color-border);
}

.header-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  min-height: var(--header-height);
}

.wordmark {
  display: flex;
  flex-direction: column;
  justify-content: center;
  min-height: 2.75rem;
  min-width: 0;
  color: inherit;
  text-decoration: none;
  line-height: 1.2;
}

.wordmark-logo {
  display: block;
  width: auto;
  height: 2rem;
}

.wordmark-discipline {
  display: none;
  margin-top: 0.28rem;
  color: var(--color-text-secondary);
  font-size: 0.75rem;
}

.nav-toggle {
  display: none;
  align-items: center;
  justify-content: center;
  min-width: 4.75rem;
  min-height: 2.75rem;
  padding: 0.4rem 0.85rem;
  background: var(--color-background);
  color: var(--color-text);
  border: 1px solid var(--color-border);
  font: inherit;
  line-height: 1.2;
  cursor: pointer;
}

.site-nav {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.35rem 1rem;
}

.nav-link {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
  padding: 0.35rem 0.2rem;
  color: var(--color-text);
  text-decoration: none;
  font-size: 0.95rem;
}

a.nav-link:hover,
a.nav-link[aria-current="page"] {
  color: var(--color-primary);
}

a.nav-link[aria-current="page"] {
  text-decoration: none;
  box-shadow: inset 0 -2px 0 var(--color-primary);
}

.nav-link.is-unavailable {
  color: var(--color-text-secondary);
}

.site-footer {
  padding-block: 2.75rem 0;
  background: var(--color-primary-dark);
  color: #d6e2ee;
}

.site-footer a {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
  color: #ffffff;
  text-decoration: none;
  overflow-wrap: anywhere;
}

.site-footer a:hover {
  color: #ffffff;
  text-decoration: underline;
  text-underline-offset: 0.16em;
}

.footer-grid {
  display: grid;
  gap: 1.75rem 2rem;
}

.footer-group {
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.1rem;
}

.site-footer h2 {
  margin: 0 0 0.35rem;
  color: #d6e2ee;
  font-size: 0.75rem;
  font-weight: 600;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.footer-group a {
  display: inline-flex;
  align-items: center;
  min-height: 2.75rem;
}

.footer-brand-block p {
  margin: 0;
  max-width: 18rem;
}

.footer-brand-block p + p {
  margin-top: 0.2rem;
}

.footer-brand {
  display: inline-block;
  margin-bottom: 0.85rem;
}

.footer-brand img {
  display: block;
  width: auto;
  height: 2.25rem;
}

.footer-tagline,
.footer-base p,
.footer-mail {
  margin-bottom: 0;
}

.footer-close {
  margin-top: 2rem;
}

.footer-mail {
  margin-top: 0;
  margin-bottom: 0.85rem;
  font-size: 0.875rem;
}

.footer-base {
  margin-top: 0;
  padding-block: 0.9rem;
  border-top: 1px solid rgba(255, 255, 255, 0.16);
  font-size: 0.875rem;
}

@media (max-width: 1023px) {
  .header-bar {
    position: relative;
    flex-wrap: wrap;
  }

  .site-nav {
    flex: 1 0 100%;
    padding-bottom: 0.85rem;
  }

  .js .nav-toggle {
    display: inline-flex;
  }

  .js .site-nav {
    display: none;
    position: absolute;
    top: 100%;
    left: 0;
    right: 0;
    flex: none;
    flex-direction: column;
    align-items: stretch;
    gap: 0.15rem;
    padding: 0.5rem 1rem 0.85rem;
    background: var(--color-background);
    border-bottom: 1px solid var(--color-border);
  }

  .js .site-nav.is-open {
    display: flex;
  }

  .js .site-nav .nav-link {
    width: 100%;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
}

@media (min-width: 768px) {
  .wordmark-logo {
    height: 2.5rem;
  }

  .wordmark-discipline {
    display: block;
  }

  .footer-grid {
    grid-template-columns: 1fr 1fr;
    align-items: start;
  }

  .footer-brand-block {
    grid-column: 1 / -1;
  }
}

@media (min-width: 1024px) {
  .footer-grid {
    grid-template-columns: minmax(14rem, 1.35fr) repeat(3, minmax(0, 1fr));
  }

  .footer-brand-block {
    grid-column: auto;
  }

  .footer-close {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 1.5rem;
    padding-top: 0.9rem;
    border-top: 1px solid rgba(255, 255, 255, 0.16);
  }

  .footer-mail {
    margin: 0;
    order: 2;
  }

  .footer-base {
    padding: 0;
    border-top: 0;
    order: 1;
  }
}