body {
  font-family: Arial, Helvetica, sans-serif;
  /* margin: 0px; */
  /* background-color: #D6EAF8; */
}

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

/*
a {
  cursor: pointer;
  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;
}

.bg-on {
  background-color: #07c;
}

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

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

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

.bg-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;
}



button {
  cursor: pointer;
}

.error {
  color: red;
}

.red {
  color: red;
}

.green {
  color: green;
}

.orange {
  color: orange;
}

.gray {
  color: gray;
}

.darkred {
  color: darkred;
}

.white {
  color: white;
}

.dropdown-content {
  position: absolute;
  background-color: #f1f1f1;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

.pointer {
  cursor: pointer;
}

.div-table {
  display: table;
  width: auto;
  /* background-color: #eee; */
  /* border: 1px solid #666666; */
  border: 1px solid black;
  border-spacing: 5px; /* cellspacing:poor IE support for  this */
}

.div-table-row {
  display: table-row;
  /* width: auto; */
  /* clear: both; */
}

.div-table-col {
  /* float: left; */
  display: table-cell;
}

.text-right {
  text-align: right;
}

.width100 {
  width: 100%;
}

.js-history {
  background-color: white;
}