/* machkernel.org: a plain reference site. One column, system fonts, underlined links. */
:root {
  --bg: #ffffff;
  --ink: #1b1b1d;
  --muted: #5d6068;
  --rule: #d8dadf;
  --link: #14498f;
  --visited: #5b3a8c;
  --mark: #f1f3f7;
  --serif: Charter, "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #17181b; --ink: #e6e6e8; --muted: #a0a3ab; --rule: #33353b;
    --link: #8fb4ec; --visited: #b9a2e0; --mark: #202226; color-scheme: dark;
  }
}
* { box-sizing: border-box; }
html { font-size: 100%; }
body {
  margin: 0; background: var(--bg); color: var(--ink);
  font-family: var(--serif); font-size: 1.125rem; line-height: 1.6;
}
.page { max-width: 40rem; margin: 0 auto; padding: 1.5rem max(16px, env(safe-area-inset-right, 0px)) 4rem max(16px, env(safe-area-inset-left, 0px)); }
header { padding-bottom: 0.9rem; border-bottom: 1px solid var(--rule); margin-bottom: 2rem; }
.name { font-size: 1.5rem; font-weight: bold; text-decoration: none; color: var(--ink); }
.name:hover { text-decoration: underline; }
nav { margin-top: 0.4rem; display: flex; flex-wrap: wrap; gap: 0.25rem 1.2rem; font-size: 1rem; }
nav a[aria-current="page"] { color: var(--ink); text-decoration: none; font-weight: bold; }
a { color: var(--link); text-underline-offset: 2px; }
a:visited { color: var(--visited); }
nav a:visited { color: var(--link); }
a:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
h1 { font-size: 1.9rem; line-height: 1.2; margin: 0 0 1rem; text-wrap: balance; }
h2 { font-size: 1.3rem; line-height: 1.3; margin: 2.2rem 0 0.6rem; }
h3 { font-size: 1.1rem; margin: 1.6rem 0 0.3rem; }
p, ul, ol, dl { margin: 0 0 1rem; }
ul, ol { padding-left: 1.4rem; }
li { margin-bottom: 0.35rem; }
dt { font-weight: bold; margin-top: 1rem; }
dd { margin: 0.1rem 0 0 0; }
code { font-family: var(--mono); font-size: 0.92em; }
.note { color: var(--muted); font-size: 0.95rem; }
table { border-collapse: collapse; width: 100%; font-size: 0.98rem; margin: 0 0 1.2rem; }
th, td { text-align: left; vertical-align: top; padding: 0.5rem 0.7rem 0.5rem 0; border-bottom: 1px solid var(--rule); }
th { font-weight: bold; border-bottom: 1px solid var(--ink); }
td.when { white-space: nowrap; width: 6.5rem; }
.scroll { overflow-x: auto; }
footer { margin-top: 3rem; padding-top: 0.9rem; border-top: 1px solid var(--rule); color: var(--muted); font-size: 0.92rem; }
footer p { margin: 0 0 0.4rem; }
.skip { position: absolute; left: -999px; }
.skip:focus { left: 16px; top: 8px; background: var(--bg); padding: 4px 8px; }
