: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; }

    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); }

    .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 1fr;
      min-height: 760px;
    }

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

    .main {
      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; }
    .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;
    }

    .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; }

    @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: 1fr 1fr;
      gap: 12px;
    }

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

    table.listing {
      width: 100%;
      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;
      margin: 8px 0;
      padding: 8px;
      border: 1px solid #999977;
      background: #111111;
      color: #eeeecc;
      font-family: var(--mono);
      font-size: 12px;
      line-height: 1.45;
    }

    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 { display: block; 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; }
    }