body {
  font-family: Helvetica, sans-serif;
}

#console,
#output {
  font-family: Menlo, "Bitstream Vera Sans Mono", Courier, monospace;
  font-size: 12px;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  -o-border-radius: 5px;
  border-radius: 5px;
  border: 2px solid #c6c6c6;
  width: 90%;
  margin: 10px auto 10px auto;
  padding: 10px;
}

#console {
  background-color: #ffffe8;
  resize: vertical;
  outline: none;
  display: block;
}

.invalid {
  border-color: #f60016 !important;
}

#output {
  background-color: #eee;
  overflow: auto;
}

h1,
p {
  text-align: center;
}

p {
  color: #696969;
  width: 90%;
  margin: 10px auto 10px auto;
}

p.settings {
  font-size: 0.8em;
  text-align: left;
  -webkit-touch-callout: none;
  -webkit-user-select: none;
  -khtml-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
}

.settings label {
  padding-right: 2em;
}

a {
  text-decoration: none;
  color: #155fce;
}

a:hover {
  text-decoration: underline;
}
