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;
}

main {
  display: none;
}

.flex {
  display: flex;
  justify-content: space-between;
  margin: 1em 0;
}

button {
  width: 7em;
}

input[type="text"] {
  height: 1.25rem;
  width: calc(100% - 14.5rem);
  padding: .25rem 0;
  border: .25rem groove rgba(255, 255, 0, .2);
  margin: 0 .5rem;
}

input[type="text"][disabled] {
  border: none;
  margin: .25rem 0;
}

input:focus {
  box-shadow: 0 0 .25em .25em yellow;
}

#counter {
  width: 6rem;
  margin: 0 .5rem 0 0;
  padding: .35rem 0 .15rem;
  text-align: center;
  font-weight: bold;
  color: rgba(255, 0, 0, .8);
  background-color: rgba(0, 255, 0, .2);
}

#timer {
  width: 6rem;
  margin: 0 0 0 .5rem;
  padding: .35rem 0 .15rem;
  text-align: center;
}

.off {
  background-color: gray;
}

.on {
  background-color: rgba(0, 255, 0, .2);
}

.over {
  background-color: rgba(255, 0, 0, .2);
}

output {
  display: block;
  margin: 1em 0;
  padding: .5em;
  min-height: 1em;
  border-width: .5em;
  border-style: groove;
}

output span + span::before {
  content: ', ';
}

.red {
  background-color: rgba(255, 0, 0, .2);
  border-color: rgba(255, 0, 0, .2);
}

.green {
  background-color: rgba(0, 255, 0, .2);
  border-color: rgba(0, 255, 0, .2);
}

.blue {
  background-color: rgba(0, 0, 255, 0.2);
  border-color: 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 code {
  background-color: rgba(0, 255, 0, 0.2);
}

.missing code {
  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;
}

.fade-enter-active,
.fade-leave-active {
  transition: opacity 10s;
}

.fade-enter,
.fade-leave-to {
  opacity: 0;
}