@media (max-device-width: 1000px) {
  body {
    font-size: 200%;
  }
  input, button {
    font-size: 100%; /* :-/ */
  }
}
h1 {
  font-size: 150%;
}
h2 {
  font-size: 120%;
}
h3 {
  font-size: 100%;
}
header, section {
  margin: 0 auto;
}
header {
  max-width: 70em;
}
section {
  max-width: 100%;
}
header input, header button {
  float: right;
  clear: both;
}
header input {
  width: 15em;
}
#result button > * {
  margin: 0.5em;
  padding: 0 auto;
}
#result button {
  vertical-align: top;
  min-height: 10em;
  padding: 0;
}
#result ul {
  text-align: left;
}
footer {
  font-size: 90%;
  font-style: italic;
}
.ajax-connection-wait {
  display: block;
  position: fixed;
  top: 0;
  left: 0;
  width: 100%;
  text-align: center;
  font-size: 10em;
}