html {
  background-image: url('assets/beach-bg.png');
  background-repeat: no-repeat;
  background-size: cover;
  background-position: center;
  background-attachment: fixed;
  image-rendering: pixelated;
  image-rendering: -moz-crisp-edges;
  image-rendering: crisp-edges;
  min-height: 100%;
}


img, audio, video {
  image-rendering: auto;
}

body {
  font-family: "Courier New", Courier, monospace;
  font-size: 16px;
  line-height: 1.5;
  color: #000;
  background: #fff;
  max-width: 680px;
  margin: 0 auto;
  padding: 4em 1em 2em;
  min-height: 100vh;
  box-sizing: border-box;
  border-left: 1px solid #000;
  border-right: 1px solid #000;
  position: relative;
}



a {
  color: #0000ee;
}

a:visited {
  color: #551a8b;
}

nav {
  margin-bottom: 1em;
}

hr {
  border: none;
  border-top: 1px solid #000;
  margin: 1.5em 0;
}

h1, h2, h3 {
  font-weight: bold;
  margin: 1em 0 0.5em;
}

ul.posts {
  list-style: none;
  padding: 0;
}

ul.posts li {
  margin: 0.4em 0;
}

ul.posts .date {
  display: inline-block;
  width: 7em;
  color: #555;
}

ul.playlist {
  list-style: none;
  padding: 0;
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 1.5em 1em;
}

.track {
  display: flex;
  flex-direction: column;
  align-items: center;
  margin: 0;
  text-align: center;
}

.track-info {
  margin-bottom: 0.5em;
  font-size: 0.9em;
}

.track-art {
  display: block;
  width: 100%;
  aspect-ratio: 1 / 1;
  object-fit: cover;
  border: 1px solid #000;
  background: #eee;
}

.track audio {
  width: 100%;
  margin-top: 0.6em;
}

@media (max-width: 520px) {
  ul.playlist { grid-template-columns: repeat(2, 1fr); }
}
@media (max-width: 340px) {
  ul.playlist { grid-template-columns: 1fr; }
}

footer {
  margin-top: 2em;
  font-size: 0.9em;
  color: #555;
}

@media (max-width: 600px) {
  body { margin: 1em auto; }
}

/* nav frog */
#frog {
  position: absolute;
  width: 60px;
  height: 40px;
  pointer-events: none;
  z-index: 10;
  opacity: 0;
  transition: opacity 0.2s ease-in;
}
#frog.ready {
  opacity: 1;
}
#frog img {
  position: absolute;
  bottom: 0;
  left: 50%;
  transform: translateX(-50%);
  height: 100%;
  width: auto;
  display: none;
  image-rendering: pixelated;
  image-rendering: -moz-crisp-edges;
  image-rendering: crisp-edges;
  user-select: none;
}
#frog img.active {
  display: block;
}

.axiom, .claim, .proof, .gap {
  border: 1px solid #000;
  padding: 0.6em 1em;
  margin: 1em 0;
}
.gap {
  border-color: #a00;
  background: #fff5f5;
}
.axiom .label, .claim .label, .gap .label {
  font-weight: bold;
}
.proof {
  border-style: dashed;
}
.proof::before {
  content: "Proof. ";
  font-style: italic;
  font-weight: bold;
}

ol.refs {
  font-size: 0.92em;
}
ol.refs li {
  margin: 0.4em 0;
}
sup a {
  text-decoration: none;
}

.library-blurb {
  font-size: 0.95em;
  color: #333;
  margin: 0.4em 0 1em;
}

.library-controls {
  font-size: 0.9em;
  margin: 0.8em 0 1.2em;
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.3em 0.4em;
  padding: 0.4em 0.6em;
  border: 1px solid #000;
  background: #f7f7f0;
}

.library-controls .lc-label {
  color: #555;
}

.library-controls .lc-sort {
  margin-left: 0.8em;
}

.library-controls button {
  font-family: inherit;
  font-size: inherit;
  background: #fff;
  color: #000;
  border: 1px solid #000;
  padding: 0.05em 0.55em;
  cursor: pointer;
}

.library-controls button:hover {
  background: #eee;
}

.library-controls button.active {
  background: #000;
  color: #fff;
}

.library-controls select {
  font-family: inherit;
  font-size: inherit;
  background: #fff;
  border: 1px solid #000;
  padding: 0.05em 0.3em;
}

ul.library {
  list-style: none;
  padding: 0;
  margin: 0;
}

ul.library li {
  border-top: 1px dashed #000;
  padding: 0.7em 0;
}

ul.library li:last-child {
  border-bottom: 1px dashed #000;
}

.lib-title {
  font-size: 1em;
}

.lib-meta {
  font-size: 0.82em;
  margin: 0.25em 0;
  color: #555;
}

.lib-type {
  border: 1px solid #555;
  padding: 0 0.4em;
  margin-right: 0.4em;
}

.lib-status {
  padding: 0;
  margin-right: 0.4em;
}

.lib-status.current {
  background: #000;
  color: #fff;
  padding: 0 0.4em;
}

.lib-rating {
  font-style: italic;
  letter-spacing: 0.18em;
  margin-left: 0.2em;
}

.lib-rating .filled {
  color: #000;
  font-weight: bold;
}

.lib-rating .empty {
  color: #ccc;
}

.lib-rating .imag {
  color: #a00;
  font-weight: bold;
}

.lib-desc {
  font-size: 0.92em;
  color: #222;
  margin-top: 0.2em;
}

/* bits */
.bits-blurb {
  font-size: 0.95em;
  color: #333;
  margin: 0.4em 0 1.4em;
}

ol.bits {
  list-style: none;
  padding: 0;
  margin: 0 0 1em;
}

.bit {
  display: block;
  margin: 0 0 1.6em;
  max-width: 78%;
}

.bit-body {
  position: relative;
  background: #fffbe8;
  padding: 0.55em 0.9em 0.45em;
  font-size: 0.95em;
  clip-path: polygon(
    4px 0,
    calc(100% - 4px) 0,
    calc(100% - 4px) 2px,
    calc(100% - 2px) 2px,
    calc(100% - 2px) 4px,
    100% 4px,
    100% calc(100% - 4px),
    calc(100% - 2px) calc(100% - 4px),
    calc(100% - 2px) calc(100% - 2px),
    calc(100% - 4px) calc(100% - 2px),
    calc(100% - 4px) 100%,
    22px 100%,
    22px calc(100% + 2px),
    18px calc(100% + 2px),
    18px calc(100% + 4px),
    14px calc(100% + 4px),
    14px calc(100% + 6px),
    10px calc(100% + 6px),
    10px 100%,
    4px 100%,
    4px calc(100% - 2px),
    2px calc(100% - 2px),
    2px calc(100% - 4px),
    0 calc(100% - 4px),
    0 4px,
    2px 4px,
    2px 2px,
    4px 2px
  );
  filter:
    drop-shadow(2px 0 0 #000)
    drop-shadow(-2px 0 0 #000)
    drop-shadow(0 2px 0 #000)
    drop-shadow(0 -2px 0 #000);
}

.bit-text {
  margin: 0 0 0.25em;
  white-space: pre-wrap;
}

.bit-time {
  display: block;
  font-size: 0.78em;
  color: #555;
  letter-spacing: 0.04em;
}