:root {
  --bg: #f5f5f5;
  --panel: #ffffff;
  --text: #202020;
  --muted: #5a5a5a;
  --line: #cfcfcf;
  --head: #ececec;
  --accent: #0f4c5c;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: "Courier New", Courier, monospace;
  line-height: 1.45;
}

.wrap {
  max-width: 980px;
  margin: 2rem auto;
  padding: 0 1rem;
}

.top-nav {
  border: 1px solid var(--line);
  background: var(--panel);
  margin-bottom: 0.75rem;
  padding: 0.5rem 0.6rem;
}

.top-nav ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.top-nav a {
  display: inline-block;
  text-decoration: none;
  color: var(--accent);
  border: 1px solid var(--line);
  padding: 0.28rem 0.5rem;
  background: #fafafa;
}

.top-nav a:hover,
.top-nav a:focus-visible {
  background: var(--head);
}

.top-nav a.active,
.top-nav a[aria-current="page"] {
  background: var(--accent);
  color: #ffffff;
  border-color: var(--accent);
  font-weight: 700;
}

.bottom-box {
  border: 1px solid var(--line);
  background: var(--panel);
  margin-top: 0.75rem;
  padding: 0.7rem 0.9rem;
}

.bottom-box p:last-child,
.bottom-box div:last-child {
  margin-bottom: 0;
}

.panel {
  background: var(--panel);
  border: 1px solid var(--line);
  padding: 1.25rem;
}

.panel-index {
  text-align: center;
}

.panel-index pre {
  display: inline-block;
  text-align: left;
  margin: 0 auto;
  overflow-x: auto;
  max-width: 100%;
}

h1 {
  margin: 0 0 0.5rem;
  font-size: 1.75rem;
  text-align: center;
  letter-spacing: 0.02em;
}

p {
  margin: 0.35rem 0 0.9rem;
}

.lead {
  text-align: center;
  color: var(--muted);
  margin-bottom: 1.2rem;
}

h2 {
  margin: 1.3rem 0 0.7rem;
  font-size: 1.05rem;
  border-bottom: 1px solid var(--line);
  padding-bottom: 0.35rem;
  color: var(--accent);
  text-transform: uppercase;
  letter-spacing: 0.03em;
}

table {
  width: 100%;
  border-collapse: collapse;
  margin-bottom: 0.9rem;
  table-layout: fixed;
}

th,
td {
  border: 1px solid var(--line);
  padding: 0.5rem 0.55rem;
  vertical-align: top;
  text-align: left;
}

th {
  background: var(--head);
  font-weight: 700;
}

th.cmd,
td.cmd {
  width: 30%;
  white-space: nowrap;
  font-weight: 700;
}

.note {
  color: var(--muted);
  font-size: 0.93rem;
}

.footer {
  margin: 0;
  padding: 0;
  text-align: center;
  font-size: 0.92rem;
  color: var(--muted);
}

@media (max-width: 700px) {
  .wrap {
    margin: 1rem auto;
  }

  .top-nav {
    padding: 0.45rem;
  }

  .bottom-box {
    padding: 0.6rem 0.7rem;
  }

  .panel {
    padding: 0.8rem;
  }

  th.cmd,
  td.cmd {
    width: 40%;
  }
}