:root {
  --bg: #d7d7c8;
  --paper: #f7f7e9;
  --paper2: #eeeedc;
  --ink: #111111;
  --muted: #555544;
  --blue: #003399;
  --red: #8b0000;
  --green: #1e5a24;
  --line: #777766;
  --line2: #b8b89e;
  --hilite: #ffffcc;
  --mono: "Courier New", Courier, monospace;
  --sans: Verdana, Arial, Helvetica, sans-serif;
  --serif: Georgia, "Times New Roman", serif;
}

* {
  box-sizing: border-box;
}

html {
  scrollbar-gutter: stable;
}

body {
  margin: 0;
  color: var(--ink);
  background: var(--bg);
  font-family: var(--sans);
  font-size: 13px;
  line-height: 1.45;
}

a {
  color: var(--blue);
  text-decoration: underline;
}

a:visited {
  color: #551a8b;
}

a:hover {
  color: var(--red);
  background: var(--hilite);
}

a:focus-visible,
button:focus-visible,
input:focus-visible {
  outline: 2px solid var(--red);
  outline-offset: 2px;
}

.page {
  width: min(1040px, calc(100% - 24px));
  margin: 16px auto 28px;
  border: 1px solid #555544;
  background: var(--paper);
  box-shadow: 4px 4px 0 rgba(0, 0, 0, .18);
}

.top-strip {
  display: flex;
  justify-content: space-between;
  gap: 10px;
  padding: 5px 8px;
  color: #eeeeee;
  background: #222222;
  font-family: var(--mono);
  font-size: 12px;
  border-bottom: 3px double #777777;
}

.masthead {
  display: grid;
  grid-template-columns: 128px 1fr 210px;
  gap: 14px;
  align-items: center;
  padding: 16px;
  background: linear-gradient(90deg, #fbfbec, #e7e7d0);
  border-bottom: 1px solid var(--line);
}

.tux-box {
  min-height: 124px;
  display: grid;
  place-items: center;
  border: 1px solid var(--line2);
  background: #ffffff;
}

.tux-box img {
  width: 86px;
  height: auto;
  display: block;
}

h1 {
  margin: 0 0 5px;
  font-family: var(--serif);
  font-size: clamp(30px, 6vw, 48px);
  line-height: 1;
  letter-spacing: -2px;
  color: #111111;
}

.subtitle {
  margin: 0;
  max-width: 680px;
  color: var(--muted);
  font-size: 13px;
}

.note-card {
  padding: 8px;
  border: 1px solid var(--line2);
  background: #ffffdf;
  font-size: 12px;
}

.note-card strong {
  display: block;
  margin-bottom: 4px;
  color: var(--red);
}

.nav {
  display: flex;
  flex-wrap: wrap;
  gap: 0;
  padding: 0 8px;
  border-bottom: 1px solid var(--line);
  background: var(--paper2);
}

.tab {
  margin: 7px 2px 0 0;
  padding: 6px 10px 7px;
  border: 1px solid var(--line);
  border-bottom: 0;
  background: var(--paper2);
  color: #111111;
  font-family: var(--sans);
  font-size: 12px;
  font-weight: bold;
  cursor: pointer;
}

.tab:hover {
  background: #f5f5e6;
}

.tab.active {
  position: relative;
  bottom: -1px;
  background: var(--paper);
  color: var(--red);
  border-bottom-color: var(--paper);
}

.body-grid {
  display: grid;
  grid-template-columns: 230px minmax(0, 1fr);
  min-height: 760px;
}

.sidebar {
  min-width: 0;
  padding: 12px;
  border-right: 1px solid var(--line);
  background: var(--paper2);
}

.main {
  min-width: 0;
  padding: 12px;
  background: var(--paper);
}

.box {
  margin-bottom: 12px;
  border: 1px solid var(--line2);
  background: #fbfbef;
}

.box h2,
.box h3 {
  margin: 0;
  padding: 5px 7px;
  color: #ffffff;
  background: #334466;
  font-size: 12px;
  letter-spacing: .02em;
}

.box h3.green { background: #315a31; }
.box h3.red { background: #773333; }
.box h3.gray { background: #555555; }
.box h3.gold { background: #76612b; }
.box h3.purple { background: #584477; }

.box-content {
  padding: 8px;
  overflow-x: auto;
}

.small {
  font-size: 12px;
  color: var(--muted);
}

.mono {
  font-family: var(--mono);
}

.search {
  width: 100%;
  padding: 5px;
  border: 1px solid #999977;
  background: #ffffff;
  color: #000000;
  font-family: var(--mono);
  font-size: 12px;
}

.search-empty {
  margin-bottom: 12px;
}

.button-row {
  display: flex;
  flex-wrap: wrap;
  gap: 5px;
  margin-top: 7px;
}

button.oldbtn {
  padding: 3px 7px;
  color: #000000;
  border: 2px outset #ddddcc;
  background: #ddddcc;
  font-size: 12px;
  cursor: pointer;
}

button.oldbtn:active {
  border-style: inset;
}

ul.plain,
.doc-list {
  margin: 0;
  padding-left: 18px;
}

.plain li,
.doc-list li {
  margin: 3px 0;
}

.section {
  display: none;
  animation: show .14s linear;
}

.section.active {
  display: block;
}

.section[hidden] {
  display: none !important;
}

@keyframes show {
  from { opacity: .45; }
  to { opacity: 1; }
}

.headline {
  margin: 0 0 10px;
  padding-bottom: 6px;
  border-bottom: 1px dotted #999977;
  font-family: var(--serif);
  font-size: 24px;
  line-height: 1.05;
  color: #222222;
}

.lead {
  margin-top: 0;
  font-size: 14px;
}

.two-col {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
}

.three-col {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
}

table.listing {
  width: 100%;
  min-width: 520px;
  border-collapse: collapse;
  background: #ffffff;
  font-size: 12px;
}

.listing th,
.listing td {
  padding: 5px 6px;
  border: 1px solid #c7c7aa;
  vertical-align: top;
  text-align: left;
}

.listing th {
  color: #ffffff;
  background: #555555;
  font-weight: bold;
}

.listing tr:nth-child(even) td {
  background: #f3f3e5;
}

pre {
  overflow: auto;
  max-width: 100%;
  margin: 8px 0;
  padding: 8px;
  border: 1px solid #999977;
  background: #111111;
  color: #eeeecc;
  font-family: var(--mono);
  font-size: 12px;
  line-height: 1.45;
  white-space: pre;
}

code {
  padding: 1px 3px;
  border: 1px solid #d2d2b8;
  background: #ffffdf;
  font-family: var(--mono);
  font-size: 12px;
}

.path {
  font-family: var(--mono);
  color: #003300;
}

.status-line {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 18px;
  margin: 10px 0 0;
  padding: 7px;
  border: 1px dashed #999977;
  background: #ffffdf;
  font-family: var(--mono);
  font-size: 12px;
}

.badge {
  display: inline-block;
  padding: 1px 5px;
  margin: 1px;
  border: 1px solid #999977;
  background: #e6e6cc;
  font-family: var(--mono);
  font-size: 11px;
  white-space: nowrap;
}

.warning {
  margin-bottom: 12px;
  padding: 8px;
  border: 1px solid #aa7777;
  background: #fff0e8;
}

.ok {
  margin-bottom: 12px;
  padding: 8px;
  border: 1px solid #77aa77;
  background: #efffed;
}

.terminal {
  min-height: 230px;
  max-height: 340px;
  overflow: auto;
  padding: 8px;
  border: 1px solid #777766;
  background: #080808;
  color: #d9ffd1;
  font-family: var(--mono);
  font-size: 12px;
}

.prompt-row {
  display: flex;
  gap: 5px;
  margin-top: 6px;
}

.prompt-row span {
  padding: 5px 0;
  color: #003300;
  font-family: var(--mono);
  font-weight: bold;
}

.prompt-row input {
  flex: 1;
  min-width: 0;
  padding: 5px;
  border: 1px solid #999977;
  background: #ffffff;
  color: #000000;
  font-family: var(--mono);
  font-size: 12px;
}

.flow {
  margin: 0;
  padding: 8px;
  border: 1px solid #999977;
  background: #ffffdf;
  font-family: var(--mono);
  white-space: pre-wrap;
}

.footer {
  padding: 8px 12px;
  border-top: 1px solid var(--line);
  background: #222222;
  color: #ddddcc;
  font-family: var(--mono);
  font-size: 12px;
}

.footer a {
  color: #ffffaa;
}

.blink {
  animation: blink 1s steps(1) infinite;
}

@keyframes blink {
  50% { opacity: 0; }
}

.webring {
  margin-top: 10px;
  padding: 7px;
  border: 1px solid #999977;
  background: #ececd4;
  text-align: center;
  font-size: 12px;
}

.webring-title {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  gap: 7px;
  align-items: center;
  margin-bottom: 5px;
  font-weight: bold;
}

.webring-title:before,
.webring-title:after {
  content: "";
  height: 1px;
  background: #aaa990;
}

@media print {
  body {
    background: #ffffff;
  }

  .page {
    width: auto;
    margin: 0;
    border: 0;
    box-shadow: none;
  }

  .sidebar,
  .nav,
  .top-strip,
  .footer {
    display: none;
  }

  .body-grid {
    display: block;
  }

  .section,
  .section[hidden] {
    display: block !important;
    page-break-after: always;
  }

  a:after {
    content: " (" attr(href) ")";
    font-size: 10px;
  }
}

@media (max-width: 820px) {
  .masthead {
    grid-template-columns: 86px 1fr;
  }

  .note-card {
    grid-column: 1 / -1;
  }

  .tux-box {
    min-height: 92px;
  }

  .tux-box img {
    width: 64px;
  }

  .body-grid {
    grid-template-columns: 1fr;
  }

  .sidebar {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .two-col,
  .three-col {
    grid-template-columns: 1fr;
  }

  .top-strip {
    display: block;
  }

  .page {
    width: calc(100% - 12px);
    margin-top: 6px;
  }

  h1 {
    letter-spacing: -1px;
  }

  table.listing {
    min-width: 480px;
  }
}

@media (max-width: 520px) {
  body {
    font-size: 12px;
  }

  .nav {
    padding: 0 4px;
  }

  .tab {
    padding: 5px 7px 6px;
    font-size: 11px;
  }

  .main,
  .sidebar {
    padding: 8px;
  }

  .headline {
    font-size: 21px;
  }
}