/* Style of the proof page (SK-proof): light and dark scheme, phone width first, contrast of the text at least 4.5:1. */
:root {
  --bg: #f7f7f5;
  --fg: #1d1d1b;
  --muted: #55554f;
  --card: #ffffff;
  --line: #d9d9d4;
  --fresh: #1e7d32;
  --aging: #b26a00;
  --stale: #b3261e;
  --future: #1f5fa8;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #161615;
    --fg: #ececea;
    --muted: #b4b4ae;
    --card: #22221f;
    --line: #3a3a36;
    --fresh: #5cc46a;
    --aging: #f0a830;
    --stale: #ff7a6e;
    --future: #7fb2ff;
  }
}
* {
  box-sizing: border-box;
}
html,
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font:
    16px / 1.45 system-ui,
    sans-serif;
}
header {
  padding: 12px 16px 4px;
}
.banner {
  margin: 0 0 6px;
  padding: 6px 10px;
  border: 1px solid var(--aging);
  border-radius: 6px;
  font-size: 0.9rem;
}
h1 {
  margin: 0;
  font-size: 1.3rem;
}
main {
  display: grid;
  grid-template-columns: 1fr;
  gap: 12px;
  padding: 12px 16px 24px;
}
#globe {
  height: 55vh;
  min-height: 280px;
  border: 1px solid var(--line);
  border-radius: 8px;
  overflow: hidden;
}
.card {
  background: var(--card);
  border: 1px solid var(--line);
  border-left: 6px solid var(--line);
  border-radius: 8px;
  padding: 10px 14px;
  margin-bottom: 10px;
}
.card.fresh {
  border-left-color: var(--fresh);
}
.card.aging {
  border-left-color: var(--aging);
}
.card.stale {
  border-left-color: var(--stale);
}
/* a time after now (a forecast, a plan) and a date without a time of day are never shown as fresh (LC-2-10) */
.card.future {
  border-left-color: var(--future);
}
/* a measured time after its receipt: the data contradict themselves, shown as a warning, never as a forecast (UR-FIX-R1-12b-1-05) */
.card.ahead {
  border-left-color: var(--stale);
}
.card.calendar {
  border-left-color: var(--muted);
}
.card h2 {
  margin: 0 0 4px;
  font-size: 1.1rem;
}
.label {
  margin: 0 0 8px;
  color: var(--muted);
  display: flex;
  gap: 8px;
  align-items: center;
}
.light {
  width: 12px;
  height: 12px;
  border-radius: 50%;
  background: var(--line);
  flex: none;
}
.light.fresh {
  background: var(--fresh);
}
.light.aging {
  background: var(--aging);
}
.light.stale {
  background: var(--stale);
}
.light.future {
  background: var(--future);
}
.light.ahead {
  background: var(--stale);
}
.light.calendar {
  background: var(--muted);
}
.values {
  display: grid;
  grid-template-columns: max-content 1fr;
  gap: 2px 14px;
  margin: 0 0 8px;
}
.values dt {
  color: var(--muted);
}
.values dd {
  margin: 0;
  font-variant-numeric: tabular-nums;
}
/* the time character of a value (U-10b) and what the source stated as received (FIX-R1-12b-1), beside the value */
.values .time-character,
.values .as-received {
  color: var(--muted);
  font-size: 0.85rem;
}
/* a gap: a value the envelope states as missing, shown with its reason and set apart from the values */
.values dd.gap {
  color: var(--muted);
  font-style: italic;
}
.time,
.licence,
.planned,
.more,
.note,
.reading {
  margin: 4px 0;
  color: var(--muted);
  font-size: 0.92rem;
}
.reading {
  color: var(--stale);
}
/* what the installation could not read - a skipped scope, kind description, module or entry - before the cards (FIX-R1-BL-39b) */
.skipped {
  margin: 4px 0;
  color: var(--stale);
  font-size: 0.92rem;
}
@media (min-width: 900px) {
  main {
    grid-template-columns: 2fr 1fr;
  }
  #globe {
    height: calc(100vh - 120px);
  }
}