.jumbotron.container {
  padding-bottom: 20px;
}

.formula-area {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

.translation-container {
  border: 4px solid;
  border-radius: 8px;
}

.default-border {
  border-color: black;
}

.error-border {
  border-color: red;
}

.success-border {
  border-color: green;
}

@font-face {
    font-family: monaco;
    src: url(/static/fonts/monaco.woff);
}

.translation-container {
  font-family: monaco;
}

#translation-form {
    margin-bottom: 15px;
}

div.simplification-div {
  width: auto;
}

button.simplification-btn {
  float: right;
  width: 80px;
  border-top-left-radius: 0;
  border-bottom-left-radius: 0;
}

#applied-simplifications {
  min-height: 50px;
}

#simplification-list {
  min-height: 50px;
}

p.simplifications-intro {
  font-size: 14pt;
}

.info {
  color: #31708f;
  background-color: #d9edf7;
  border-color: #bce8f1  !important;
}

#num-applied-simplifications {
text-align: right;
vertical-align: middle;
}

#simplifications {
  display: none;
}

.simplification-list {
  list-style-type: none;
  padding-left: 0;
  margin-bottom: 20px;
}

.simplification-list-item:first-child {
  border-top-left-radius: 4px;
  border-top-right-radius: 4px;
}

.simplification-list-item {
  padding: 10px 15px;
  margin-bottom: -1px;
  background-color: #fff;
  border: 1px solid #ddd;
}

.simplification-list-item:last-child {
  margin-bottom: 0;
  border-bottom-left-radius: 4px;
  border-bottom-right-radius: 4px;
}

.simplification-div {
  color: #fff;
  background-color: #337ab7;
  padding: 5px 10px;
  font-size: 14px;
  font-weight: 400;
  line-height: 1.42857143;
  border-radius: 3px;
}

.with-help-popup {
  cursor: pointer;
}