.term-fg-black {
  color: #000000;
}
.term-fg-red {
  color: #5f8787;
}
.term-fg-green {
  color: #dd9999;
}
.term-fg-yellow {
  color: #a06666;
}
.term-fg-blue {
  color: #888888;
}
.term-fg-magenta {
  color: #999999;
}
.term-fg-cyan {
  color: #aaaaaa;
}
.term-fg-white {
  color: #c1c1c1;
}

pre a {
  text-decoration: none;
  color: white;
}

pre a:hover {
  font-weight: bold;
  text-decoration: underline;
}

pre a::before {
  content: "🔗 ";
  text-decoration: none;
}

ul {
  padding: 0;
  margin: 0;
}