.theme-default {
  background-color: white;
  color: #111;
}
.theme-default a {
  color: rgb(0, 55, 206);
}
.theme-default a:visited {
  color: rgb(100, 0, 187);
}

.theme-dark {
  background-color: #1e1e22;
  color: white;
}
.theme-dark a {
  color: #8bc7ff;
}
.theme-dark a:visited {
  color: #e89eff;
}

.theme-laser {
  background-color: #991b1b;
  color: white;
}
.theme-laser a {
  color: #ffa1a1;
}
.theme-laser a:visited {
  color: #ffa3e3;
}