/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

body {
  background-color: #000;
  color: #ddd;
  font-family: "Courier New", Courier, monospace;
  margin: 0;
  padding: 12px;
}

#container {
  max-width: 900px;
  margin: 14px auto;
  border: 2px solid #444;
  padding: 12px;
  background: #000;
}

h1 { color: #fff; margin: 0 0 6px 0; font-size: 28px }
h2 { color: #ccc; margin-top: 0; font-size: 14px }

.siderow { display:flex; gap:12px; align-items:center }
.logo { width:120px; height:auto; border:1px solid #222 }
.nav { font-size:13px }

.lead { background:#000; padding:8px; border-left:4px solid #666; color:#ddd }

.gallery { display:block; gap:12px; flex-wrap:wrap }
.gallery figure { width:100%; margin:8px 0 }
.gallery img { display:none }

pre.ascii { background: #000; color:#9f9; border:1px solid #222; padding:10px; overflow:auto }

footer { margin-top:16px; font-size:12px; color:#666 }
.small { font-size:12px; color:#666 }

a { color: #9df; text-decoration: none }

hr { border: none; border-top: 1px dashed #333; margin:12px 0 }