/* =====================================================================
   rules.html — the same phosphor, laid out to be read and printed.
   ===================================================================== */

body.page {
  padding: 1.25rem var(--pad) 4rem;
  font-size: 15px;
  line-height: 1.55;
  overflow-y: auto;
  height: auto;
  min-height: 100%;
  text-shadow: 0 0 5px var(--glow);
}

.page main { max-width: 62ch; margin: 0 auto; }

.page h2 {
  font-size: 1em;
  font-weight: normal;
  color: var(--bg);
  background: var(--hi);
  padding: 0.15em 0.5em;
  margin: 2.5rem 0 0.9rem;
}
/* The same ANSI header bar the terminal draws. */
.page h3 {
  font-size: 1em;
  font-weight: normal;
  color: var(--hi);
  margin: 1.6rem 0 0.5rem;
}
.page h3::before { content: '\u2593'; }
.page h3 > span { background: var(--hi); color: var(--bg); padding: 0 0.35em; }
.page h3::after  { content: ' \u2593\u2593\u2592\u2591'; }
.page h3 { display: block; }
.page p { margin: 0 0 0.9rem; }
.page b { color: var(--bright); font-weight: normal; }
.page i { color: var(--dim); font-style: normal; }
.page u { text-decoration: none; color: var(--hi); }

.page pre {
  white-space: pre;
  overflow-x: auto;
  margin: 0 0 0.9rem;
  font-size: 0.92em;
  line-height: 1.35;
  padding-bottom: 0.2em;
}
.page pre b { color: var(--bright); }
.page pre i { color: var(--dim); }

.page hr { border: 0; border-top: 1px solid var(--dim); margin: 1.2rem 0; }

.page nav ul { list-style: none; padding: 0; margin: 0 0 1rem; }
.page nav li::before { content: '▸ '; color: var(--dim); }

/* Block art only joins up at a line-height of exactly 1. */
.page .logo { font-size: 0.8em; line-height: 1; color: var(--bright); }
.page .sub { color: var(--dim); margin-bottom: 2rem; }
.page .back a { color: var(--dim); }
.page .choice { margin: 0 0 0.35rem; }
.page .choice a::before { content: '\u25B8  '; color: var(--hi); text-decoration: none; }

@media print {
  :root { --bg: #fff; --fg: #000; --dim: #555; --bright: #000; }
  body.page { text-shadow: none; }
  .page .back, .page nav { display: none; }
  .page h2 { background: none; color: #000; border-top: 2px solid #000; }
}