html {
  -webkit-box-sizing: border-box;
  -moz-box-sizing: border-box;
  box-sizing: border-box;
}

*, *:before, *:after {
  -webkit-box-sizing: inherit;
  -moz-box-sizing: inherit;
  box-sizing: inherit;
}

html, body {
  height: 100%;
}

body {
  background: #efefef;
  font-family: 'Arial';
}

header {
  padding: 3rem 0 0;
}
header h1 {
  margin-bottom: .5rem;
}
header p {
  font-size: 90%;
  color: #444;
}

.alert {
  font-size: 85%;
}

.form textarea {
  width: 100%;
  min-height: 400px;
  display: block;
}
.form footer .btn.float-left {
  margin-right: 1rem;
}
.form footer .btn.float-right {
  margin-left: 1rem;
}

.output {
  padding: 1em;
  font-size: 80%;
  line-height: 1.5;
  margin-bottom: 1rem;
  border: 1px solid #d9d9d9;
  height: 257px;
  overflow: auto;
  white-space: pre;
  resize: none;
  cursor: default;
}