@import 'bootstrap/_variables';
@import 'theme';

.history {
  h2 {
    font-size: 2em;
  }
}

.mapping-type-redirect {
  background-color: $good-HTTP-status-color;
}

.mapping-type-archive {
  background-color: $default-HTTP-status-color;
}

.old-urls textarea {
  border-top-left-radius: 0;
  border-bottom-left-radius: 0;
  height: 200px;
}

.old-urls .input-group-addon {
  vertical-align: top;
  padding-top: 9px;
}

.read-only-fields dt {
  margin-bottom: 5px;
}

.read-only-fields dd {
  margin-left: 0;
  margin-bottom: $default-vertical-margin;
}

@import 'bootstrap/_variables';
@import 'theme';

.history {
  h2 {
    font-size: 2em;
  }
}

.mapping-type-redirect {
  background-color: $good-HTTP-status-color;
}

.mapping-type-archive {
  background-color: $default-HTTP-status-color;
}

.old-urls textarea {
  border-top-left-radius: 0;
  border-bottom-left-radius: 0;
  height: 16em;
}

.old-urls .input-group-addon {
  vertical-align: top;
  padding-top: 9px;
}

.read-only-fields dt {
  margin-bottom: 5px;
}

.read-only-fields dd {
  margin-left: 0;
  margin-bottom: $default-vertical-margin;
}

Use ems for textarea height
Use ems for textarea height

(Rather than an arbitrary 200px)
