body {
  background-color: #07080a;
  color: #20e838;
  font-family: monospace;
  font-size: 12px;
}
a {
  color:lime;
}
p:hover {
  background-color: forestgreen;
  color: lime;
}
li:hover {
  background-color: forestgreen;
  color: palegreen;
}
a:hover{
  color: white;
  background-color: forestgreen;
}
summary:hover {
  background-color: darkcyan;
  color: lime;
}
details {
  background-color: #09280e;
}
.err {
  background-color: #660b0b;
  color: red;
  font-size:16px;
}
.suberr {
  color: firebrick;
  font-size:10px
}
.unavb {
  color: slategray;
}
.unavb:hover {
  background-color: darkslategray;
  color: slategray;
}
.err:hover {
  background-color: red;
  color: darkred;
}
.suberr:hover {
  background-color: darkred;
  color:red;
}
.exit {
  text-align: right;
}
.exit:hover {
  background-color: darkred;
  color: red;
}