body {
  font-family: Arial, Helvetica, sans-serif;
  margin: 0px;
}

input {
  font-family: Arial, Helvetica, sans-serif;
  font-size: 1em;
}

a {
  text-decoration:none;
}

.actionlink {
  color: green;
  cursor: pointer;
}

.btn {
  font-family: inherit;
  font-size: .875rem;
  font-weight: 700;
  text-decoration: none;
  height: 2.5em;
  line-height: 2.5em;
  /* margin: 0; */
  padding: 0em .8em;
  border: 0;
  border-radius: 3px;
  color: #fff;
  background-color: #07c;
  cursor: pointer;
}

.btn.success {
  background-color: #28a745;
}

.btn.warning {
  background-color: #ff6507;
}

.btn.danger {
  background-color: #dc3545;
}

.btn.grey {
  background-color: #6c757d;
}

.btn.square {
  width: 2.5em;
}

.server-up:before {
  content: '↑';
  color: #28a745;
}

.server-down:before {
  content: '↓';
  color: #ff6507;
}

.server-missing:before {
  content: 'x';
  color: #ff6507;
}

.TopBar {
  background-color: lightblue;
}

.description {
  color: grey;
}

.mono {
  font-family: Courier;
}

.deemphasize {
  font-size: 80%;
}

.code {
  white-space: pre-wrap;
  font-family: Courier;
}

table.normal tr {
  height: 2.5em;
}