:root {
  --text: #202122;
  --muted: #54595d;
  --border: #a2a9b1;
  --border-light: #c8ccd1;
  --panel: #f8f9fa;
  --link: #3366cc;
  --link-visited: #6b4ba1;
  --serif: "Linux Libertine", "Georgia", "Times", "Times New Roman", serif;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif;
}

* { box-sizing: border-box; }

html { scroll-behavior: smooth; }

body {
  margin: 0;
  color: var(--text);
  background: #fff;
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
}

a { color: var(--link); text-decoration: none; }
a:hover { text-decoration: underline; }
a:visited { color: var(--link-visited); }

.site-header {
  display: flex;
  align-items: center;
  gap: 12px;
  max-width: 1280px;
  margin: 0 auto;
  padding: 10px 24px;
  border-bottom: 1px solid var(--border-light);
}

.site-header .wordmark {
  font-family: var(--serif);
  font-size: 1.35rem;
  color: var(--text);
  letter-spacing: 0.01em;
}

.site-header .wordmark:visited { color: var(--text); }

.site-header .tagline {
  color: var(--muted);
  font-size: 0.8rem;
  border-left: 1px solid var(--border-light);
  padding-left: 12px;
}

.page {
  display: grid;
  grid-template-columns: 220px minmax(0, 1fr);
  gap: 32px;
  max-width: 1280px;
  margin: 0 auto;
  padding: 0 24px 48px;
}

.toc {
  position: sticky;
  top: 0;
  align-self: start;
  max-height: 100vh;
  overflow-y: auto;
  padding: 20px 0;
  font-size: 0.875rem;
}

.toc-title {
  font-weight: bold;
  border-bottom: 1px solid var(--border-light);
  padding-bottom: 6px;
  margin-bottom: 6px;
}

.toc ol { list-style: none; margin: 0; padding: 0; }
.toc li { margin: 4px 0; }
.toc li a { color: var(--link); }
.toc .toc-number { color: var(--muted); margin-right: 6px; }

main { min-width: 0; padding-top: 16px; }

h1 {
  font-family: var(--serif);
  font-weight: normal;
  font-size: 1.85rem;
  line-height: 1.3;
  margin: 0;
  padding-bottom: 4px;
  border-bottom: 1px solid var(--border);
}

.tabs {
  display: flex;
  gap: 18px;
  font-size: 0.875rem;
  border-bottom: 1px solid var(--border-light);
  margin-bottom: 6px;
}

.tabs a, .tabs span {
  display: inline-block;
  padding: 6px 2px 5px;
}

.tabs .current {
  color: var(--text);
  border-bottom: 2px solid var(--text);
}

.from {
  color: var(--muted);
  font-size: 0.85rem;
  margin: 4px 0 14px;
}

h2 {
  font-family: var(--serif);
  font-weight: normal;
  font-size: 1.5rem;
  line-height: 1.3;
  margin: 1.2em 0 0.4em;
  padding-bottom: 2px;
  border-bottom: 1px solid var(--border);
}

p { margin: 0.5em 0 0.8em; }

.hatnote {
  font-style: italic;
  font-size: 0.9rem;
  padding-left: 1.6em;
  margin-bottom: 0.8em;
  color: var(--text);
}

ul.plain { margin: 0.3em 0 0.8em 1.4em; padding: 0; }
ul.plain li { margin: 0.2em 0; }

.infobox {
  float: right;
  clear: right;
  width: 22em;
  margin: 0 0 1em 1.4em;
  border: 1px solid var(--border);
  background: var(--panel);
  font-size: 0.88em;
  line-height: 1.5;
  border-collapse: separate;
  border-spacing: 3px;
  padding: 0.2em;
}

.infobox .infobox-above {
  width: auto;
  text-align: center;
  font-size: 1.25em;
  font-weight: bold;
  padding: 0.3em 0.2em 0.2em;
}

.infobox .infobox-image { text-align: center; padding: 0.8em 0.4em; }
.infobox .infobox-image img { max-width: 220px; height: auto; }

.infobox th,
.infobox td {
  vertical-align: top;
  text-align: left;
  padding: 0.2em 0.4em;
}

.infobox th { width: 38%; font-weight: bold; }
.infobox td ul { margin: 0; padding-left: 1.1em; }

sup.reference {
  font-size: 0.75em;
  line-height: 1;
  white-space: nowrap;
}

.references {
  font-size: 0.9em;
  padding-left: 1.6em;
}

.references li { margin: 0.25em 0; }
.references li:target { background: #eaf3ff; }
.references .backlink { margin-right: 4px; }

.categories {
  clear: both;
  margin-top: 2em;
  padding: 6px 10px;
  border: 1px solid var(--border);
  background: var(--panel);
  font-size: 0.875em;
}

.categories span + span::before { content: " | "; color: var(--muted); }

.site-footer {
  max-width: 1280px;
  margin: 0 auto;
  padding: 16px 24px 40px;
  border-top: 1px solid var(--border-light);
  color: var(--muted);
  font-size: 0.8rem;
}

.site-footer p { margin: 0.3em 0; }

@media (max-width: 900px) {
  .page { grid-template-columns: minmax(0, 1fr); padding: 0 16px 40px; }
  .toc { display: none; }
  .infobox { float: none; width: 100%; margin: 0 0 1em; }
  .site-header { padding: 10px 16px; }
}