/* Instead of toggling style overrides, just add/remove this class */
.hide { display: none; }

/* App styling */
.header {
  font-weight: bold;
}
ul.nav {
  list-style: none;
}
ul.nav li {
  margin-bottom: 0;
}
.gh-repo {
  font-style: italic;
  font-size: 80%;
}
.release, .version {
  font-family: monospace, monospace;
}
.mismatch {
  background: lightgray;
}
.good {
  background: lightgreen;
}
.bad {
  background: pink;
}
.error {
  background: yellow;
}
.footerLinks {
  text-align: center;
  margin-top: 2rem;
}
.formNote ,
.footerLinks a {
  font-size: x-small;
}

.darkMode {
  filter: invert(100%);
  background: #222;
}

.r0 {
  background-color: #F0F8FF;
}

.r1, .r1-hf {
  background-color: #FFF0F5;
}

.r2, .r2-hf {
  background-color: #F0FFF0;
}

.r3 {
  background-color: #E0FFFF;
}

.r0-dark {
  background-color: #cfd9df;
}

.r1-dark, .r1-hf-dark {
  background-color: #d9cfdf;
}

.r2-dark, .r2-hf-dark {
  background-color: #dfcfc7;
}

.r3-dark {
  background-color: #cfdfce;
}

hr {
  border-top-color: #222;
}