/* Source Serif 4 and IBM Plex Sans (SIL Open Font License, see fonts/OFL-*.txt), served from the site itself: no request to a third party. */
@font-face { font-family: "Source Serif 4"; font-weight: 600; font-display: swap; src: url("fonts/source-serif-4-600.woff2") format("woff2"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 400; font-display: swap; src: url("fonts/ibm-plex-sans-400.woff2") format("woff2"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 600; font-display: swap; src: url("fonts/ibm-plex-sans-600.woff2") format("woff2"); }

:root {
  --navy: #0f2a4a;
  --navy-soft: #b9cde6;
  --blue: #2457a6;
  --ink: #1d2b3e;
  --ink-soft: #4b5b70;
  --hairline: #dde5ef;
  --mist: #f1f5fa;
  --paper: #ffffff;
  --serif: "Source Serif 4", Georgia, serif;
  --sans: "IBM Plex Sans", -apple-system, "Segoe UI", system-ui, sans-serif;
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font: 400 17px/1.6 var(--sans);
}

p, h2, h3, ul { margin: 0; }

a { color: var(--blue); text-underline-offset: 3px; }

a:focus-visible { outline: 2px solid var(--blue); outline-offset: 3px; border-radius: 2px; }

/* One centered column for the band, the content and the footer. */
.wrap {
  max-width: 680px;
  margin: 0 auto;
  padding: 0 24px;
}

.band {
  background: var(--navy);
  color: #fff;
  padding: 40px 0 42px;
}

.name {
  font: 600 clamp(32px, 6vw, 44px)/1.1 var(--serif);
  letter-spacing: -0.01em;
}

.what {
  margin-top: 8px;
  color: var(--navy-soft);
}

main { padding-top: 8px; padding-bottom: 32px; }

section {
  padding: 28px 0;
  border-bottom: 1px solid var(--hairline);
}

section:last-child { border-bottom: 0; }

h2 {
  font: 600 23px/1.25 var(--serif);
  color: var(--navy);
  margin-bottom: 12px;
}

.lead { font-size: 19px; }

/* Each app is marked by a blue rule on its left. */
.app {
  border-left: 3px solid var(--blue);
  padding: 2px 0 2px 16px;
}

.app h3 {
  font: 600 20px/1.3 var(--serif);
  color: var(--navy);
}

.app .status {
  margin: 4px 0 8px;
  color: var(--blue);
  font-size: 15px;
}

.app .links { margin-top: 12px; }

.app .links a + a { margin-left: 12px; }

.services { padding: 0; list-style: none; }

.services li { padding: 6px 0; }

footer {
  background: var(--mist);
  color: var(--ink-soft);
  font-size: 15px;
  padding: 24px 0 32px;
}

footer .note { margin-top: 10px; }