:root {
  color-scheme: light;
  --ink: #111;
  --muted: #505050;
  --rule: #b9b9b9;
  --panel: #f1f1f1;
  --blue: #1b4f72;
  --blue-dark: #12364d;
  --link: #0645ad;
  --visited: #4b2a80;
  --code: #f6f6f6;
}

* { box-sizing: border-box; }
html { background: #fff; }
body {
  margin: 0;
  color: var(--ink);
  background: #fff;
  font: 14px/1.45 Arial, Helvetica, sans-serif;
}

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

.shell {
  width: min(980px, 100%);
  margin: 0 auto;
  border-left: 1px solid var(--rule);
  border-right: 1px solid var(--rule);
  min-height: 100vh;
}

.masthead {
  display: grid;
  grid-template-columns: 190px 1fr;
  border-bottom: 1px solid var(--rule);
  background: #fff;
}
.home-masthead {
  grid-template-columns: 1fr;
  background: var(--blue);
}

.brand {
  padding: 16px 14px;
  background: var(--blue);
  color: #fff;
}
.brand a { color: #fff; text-decoration: none; }
.brand strong { display: block; font: 700 28px/1 Georgia, serif; letter-spacing: .04em; }
.brand span { display: block; margin-top: 7px; font-size: 12px; line-height: 1.25; }
.brand small { display: block; margin-top: 5px; font-size: 12px; opacity: .88; }
.home-masthead .brand { padding-inline: 18px; }

.title {
  padding: 14px 20px 12px;
}
.title h1 {
  margin: 0;
  font: 700 25px/1.15 Georgia, "Times New Roman", serif;
}
.title p { margin: 7px 0 0; color: var(--muted); }

.layout {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr);
}
nav {
  padding: 14px;
  background: var(--panel);
  border-right: 1px solid var(--rule);
  min-height: calc(100vh - 90px);
}
nav h2 {
  margin: 0 0 7px;
  font-size: 12px;
  text-transform: uppercase;
  letter-spacing: .07em;
  color: var(--blue-dark);
}
nav ul { list-style: none; padding: 0; margin: 0 0 20px; }
nav li { margin: 5px 0; }
nav a { color: #003b63; }

main { padding: 18px 22px 34px; min-width: 0; }
main h2 {
  margin: 22px 0 8px;
  padding-bottom: 3px;
  border-bottom: 1px solid var(--rule);
  color: var(--blue-dark);
  font: 700 19px/1.2 Georgia, "Times New Roman", serif;
}
main h2:first-child { margin-top: 0; }
main h3 { margin: 18px 0 6px; font-size: 15px; }
p { margin: 8px 0 12px; }
ul, ol { margin-top: 7px; }

.banner {
  display: block;
  width: min(100%, 720px);
  height: auto;
  margin: 2px 0 16px;
  border: 1px solid var(--rule);
}

.status, .directory {
  width: 100%;
  border-collapse: collapse;
  margin: 10px 0 16px;
}
.status th, .status td, .directory th, .directory td {
  border: 1px solid var(--rule);
  padding: 7px 8px;
  vertical-align: top;
  text-align: left;
}
.status th, .directory th { background: var(--panel); }

pre, code, kbd { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
pre {
  overflow-x: auto;
  padding: 10px 12px;
  background: var(--code);
  border: 1px solid var(--rule);
  line-height: 1.35;
}
code { background: var(--code); padding: 1px 3px; }
pre code { padding: 0; background: transparent; }

.notice {
  padding: 9px 11px;
  border: 1px solid #9aaab4;
  border-left: 4px solid var(--blue);
  background: #f5f8fa;
}
.small { font-size: 12px; color: var(--muted); }

footer {
  border-top: 1px solid var(--rule);
  padding: 12px 22px;
  color: var(--muted);
  font-size: 12px;
}

@media (max-width: 680px) {
  .shell { border: 0; }
  .masthead, .layout { grid-template-columns: 1fr; }
  .brand { padding: 12px 16px; }
  .brand strong { font-size: 24px; }
  nav { min-height: auto; border-right: 0; border-bottom: 1px solid var(--rule); padding: 10px 16px; }
  nav h2 { display: none; }
  nav ul { display: flex; flex-wrap: wrap; gap: 7px 14px; margin: 0; }
  nav li { margin: 0; }
  main { padding: 16px; }
  footer { padding: 12px 16px; }
}