@font-face {
  font-family: Lucida Grande;
  src: url("fonts/lucida_grande.woff2") format("woff2"),
    url("fonts/lucida_grande.ttf") format("truetype");
  font-display: swap;
}

@font-face {
  font-family: Lucida Sans Unicode;
  src: url("fonts/lucida_sans_unicode_regular.woff2") format("woff2"),
    url("fonts/lucida_sans_unicode_regular.ttf") format("truetype");
  font-display: swap;
}

:root {
  --bg: #f5f6f8;
  --surface: #fafbfc;
  --line: #d7dbe2;
  --line-strong: #a4acb8;
  --text: #161922;
  --muted: #5f6674;
  --link: #1b3f8b;
  --focus: #1d5ddb;
  --nav-bg: #161922;
  --nav-text: #e7ebf3;
}

html {
  font-size: 100%;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

body {
  margin: 0;
  padding: 0 1.25rem 2rem;
  max-width: 102ch;
  background: linear-gradient(180deg, #f0f2f6 0, var(--bg) 9rem, var(--bg) 100%);
  color: var(--text);
  font-family: Lucida Grande, Lucida Sans Unicode, Verdana, sans-serif;
  font-size: 0.88rem;
  line-height: 1.45;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0;
  color: #0f1320;
  letter-spacing: 0.01em;
  font-family: "Lucida Sans Unicode", "Trebuchet MS", Verdana, sans-serif;
  line-height: 1.2;
}

h1 {
  margin: 0.55rem 0 0.35rem;
  font-size: 1.95rem;
  font-weight: 600;
}

h2 {
  margin: 0 0 0.7rem;
  font-size: 1.42rem;
  font-weight: 600;
}

h3 {
  margin: 0.45rem 0 0.5rem;
  color: #1d2332;
  font-size: 1.08rem;
  font-weight: 600;
}

h4 {
  margin: 0.45rem 0;
  color: var(--muted);
  font-size: 0.95rem;
  text-transform: uppercase;
  letter-spacing: 0.06em;
}

p,
li,
td,
th {
  line-height: 1.45;
}

p {
  margin: 0 0 0.8rem;
}

main {
  display: flow-root;
  margin-top: 0;
}

address {
  margin: 0.12rem 0 0.85rem;
  color: var(--muted);
  font-style: normal;
}

div.frame {
  float: left;
  width: 12.8rem;
  margin: 0 1.2rem 0.9rem 0;
  border: 1px solid var(--line-strong);
  border-top: 4px solid #1d2332;
  background: var(--surface);
}

img.profile {
  display: block;
  width: 100%;
  height: auto;
}

a {
  color: var(--link);
  text-decoration-thickness: 1px;
  text-underline-offset: 0.12em;
}

a:hover {
  color: #102c67;
  background-color: transparent;
}

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

hr {
  margin: 1rem 0;
  border: 0;
  border-top: 1px solid var(--line-strong);
}

pre {
  overflow-wrap: anywhere;
  border: 1px solid var(--line);
  background: #f2f4f8;
  padding: 0.75rem;
  font-family: "Andale Mono", "Courier New", Courier, monospace;
  font-size: 0.84rem;
  white-space: pre-wrap;
}

.topnav {
  position: sticky;
  top: 0;
  z-index: 20;
  display: flex;
  flex-wrap: wrap;
  gap: 0;
  border-bottom: 2px solid #0a0d14;
  background: var(--nav-bg);
}

.topnav a {
  display: inline-flex;
  min-height: 30px;
  align-items: center;
  border-right: 1px solid #293247;
  padding: 0.14rem 0.5rem;
  color: var(--nav-text);
  text-decoration: none;
  font-size: 0.84rem;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.topnav a:hover {
  background: #212839;
  color: #fff;
}

.topnav a:focus-visible {
  outline-color: #fff;
}

.topnav a img {
  max-width: 100%;
  max-height: 1.05em;
}

section.table {
  clear: both;
  margin-bottom: 0.9rem;
  border: 1px solid var(--line);
  border-top: 3px solid #151a27;
  background: var(--surface);
  padding: 0.75rem 0.7rem;
  overflow-x: auto;
  content-visibility: auto;
  contain-intrinsic-size: 900px;
}

section#intro {
  margin: 0 0 0.95rem;
}

table {
  min-width: 640px;
  width: 100%;
  border-collapse: collapse;
}

thead tr {
  border-bottom: 1px solid var(--line-strong);
}

tbody tr {
  border-bottom: 1px solid var(--line);
}

tbody tr:last-child {
  border-bottom: 0;
}

td,
th {
  padding: 0.38rem 0.28rem;
  text-align: left;
  vertical-align: top;
}

th {
  color: var(--muted);
  font-family: "Andale Mono", "Courier New", Courier, monospace;
  font-size: 0.76rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
}

td.firstcolumn {
  width: 16em;
  color: #20283a;
  font-family: "Andale Mono", "Courier New", Courier, monospace;
  font-size: 0.79rem;
}

.skip-link {
  position: absolute;
  left: 0.6rem;
  top: 0.5rem;
  transform: translateY(-260%);
  border: 2px solid var(--focus);
  background: #fff;
  color: #000;
  padding: 0.36rem 0.52rem;
  z-index: 1000;
}

.skip-link:focus {
  transform: translateY(0);
}

.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  margin: -1px;
  border: 0;
  padding: 0;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
}

@media (max-width: 860px) {
  body {
    max-width: 100%;
    padding: 0 0.9rem 1.5rem;
    font-size: 0.94rem;
    line-height: 1.5;
  }

  div.frame {
    width: min(13.8rem, 68vw);
  }

  section.table {
    margin-bottom: 0.8rem;
    padding: 0.62rem 0.56rem;
  }

  table {
    min-width: 0;
    width: 100%;
  }

  td.firstcolumn {
    width: auto;
    white-space: normal;
  }
}

@media (max-width: 700px) {
  body {
    font-size: 1rem;
    line-height: 1.6;
    padding: 0 0.8rem 1.4rem;
  }

  h1 {
    margin-top: 0.45rem;
    font-size: clamp(1.35rem, 1.2rem + 0.8vw, 1.65rem);
  }

  h2 {
    font-size: clamp(1.22rem, 1.12rem + 0.6vw, 1.45rem);
  }

  h3 {
    font-size: clamp(1.05rem, 0.98rem + 0.4vw, 1.2rem);
  }

  div.frame {
    float: none;
    width: min(15rem, 72vw);
    margin-right: 0;
  }

  td.firstcolumn {
    width: auto;
    white-space: normal;
  }

  table {
    min-width: 0;
    width: 100%;
  }

  thead {
    display: none;
  }

  tbody,
  tr,
  td,
  th {
    display: block;
    width: 100%;
  }

  tr {
    padding: 0.42rem 0;
    border-bottom: 1px solid var(--line);
  }

  td,
  th {
    padding: 0.18rem 0;
    overflow-wrap: anywhere;
    word-break: normal;
  }

  td.firstcolumn {
    margin-bottom: 0.1rem;
    border-left: 2px solid var(--line-strong);
    padding-left: 0.42rem;
  }

  section.table {
    overflow-x: hidden;
  }

  .topnav a {
    min-height: 34px;
    padding: 0.24rem 0.42rem;
    font-size: 0.82rem;
  }
}