html, body {
  width: 100%;
  height: 100%;
  margin: 0;
}

svg {
  font-family: helvetica;
  overflow: visible;
  width: 100%;
  height: 100%;
}

line {
  stroke: violet;
}

#calibrate text {
  font-size: 10px;
}

text.px {
  fill: violet;
  font-size: 10px;
}

#controls {
  position: absolute;
  background: rgba(255,255,255,.9);
  border: 3px double black;
  right: 10px;
  top: 10px;
  padding: 10px;
  font-family: sans-serif;
  font-size: 11px;
}

#controls form {
  font-family: monospace;
}

#controls input {
  width: 75px;
  font-family: monospace;
}

#controls input[type="submit"] {
  width: auto;
}

#controls p {
  text-transform: uppercase;
  margin-bottom: 5px;
  color: gray;
}

#controls textarea {
  width: 210px;
  overflow: scroll;
  margin: 0;
  padding: 2px;
  white-space: pre;
  font-family: monospace;
}

#controls #output {
  border: 1px solid #aca;
  background: #efe;
  height: 110px;
}

#controls #ex {
  height: 30px;
}
