body {
  font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  font-size: 15px;
  line-height: 1.7;
  margin: 0;
  padding: 2em;
  max-width: 40em;
  margin: 0 auto;
}
input[type="text"] {
  display: inline-block;
  height: 1.25rem;
  width: calc(100% - 14.5rem);
  padding: .25rem 0;
  border: .25rem groove rgba(255, 255, 0, .2);
  margin-bottom: 1rem;
}
input:focus {
  box-shadow: 0 0 .25em .25em yellow;
}
#counter {
  display: inline-block;
  width: 6rem;
  margin-right: .5rem;
  padding: .25rem;
  text-align: center;
  font-weight: bold;
  color: rgba(255, 0, 0, .8);
  background-color: rgba(0, 255, 0, .2);
}
#timer {
  display: inline-block;
  width: 6rem;
  margin-left: .5rem;
  padding: .25rem;
  text-align: center;
}
.off {
  background-color: gray;
}
.on {
  background-color: rgba(0, 255, 0, .2);
}
.out {
  background-color: rgba(255, 0, 0, .2);
}
.red, .green, .blue {
  margin: 1em 0;
  padding: .5em;
  min-height: 1em;
}
.red {
  background-color: rgba(255, 0, 0, .2);
  border: .5em groove rgba(255, 0, 0, .2);
}
.green {
  background-color: rgba(0, 255, 0, .2);
  border: .5em groove rgba(0, 255, 0, .2);
}
.blue {
  background-color: rgba(0, 0, 255, 0.2);
  border: .5em groove rgba(0, 0, 255, 0.2);
}
p, ul {
  margin: 15px 0;
}
ul:not(.elementlist) {
  padding-left: 30px;
}
ul.elementlist {
  margin: 0.2em 0;
  padding-left: 0;
}
.elementlist li {
  display: inline-block;
}
.found {
  background-color: rgba(0, 255, 0, 0.2);
}
.missed {
  background-color: rgba(255, 0, 0, 0.2);
}
code {
  background-color: #f8f8f8;
  border: 1px solid #ddd;
  border-radius: 3px;
  font-family: "Bitstream Vera Sans Mono", Consolas, Courier, monospace;
  font-size: 12px;
  margin: 0 2px;
  padding: 0px 5px;
}

code[title] {
  cursor: pointer;
}
footer {
  margin-top: 2em;
  border-top: 2px dotted grey;
  font-size: small;
}