body {
    font-family: 'helvetica','arial','sans-serif';
}


.hdr-dom, .hdr-usr, .hdr-ip, .hdr-ts {
  text-align: left;
}
.hdr-ts {
  font-size: 80%;
}

.tab-dom small {
  font-size: 70%;
  font-weight: 100;
}

.tab-ts {
  font-size: 60%;
  font-weight: 100;
  text-align: right;
}

.tab-cmd form {
  margin: 0px;
  text-align: center;
}
.tab-cmd form input {
  padding: 0px;
  font-size: 75%;
}

.tab-cmd form button {
  width: 40px;
  height: 25px;
  border-radius: 8px;
}

.tab-hr {
  margin: 0px;
}

pre {
  margin-left: 20px;
}


h4 {
  border-top: 1px dashed;
  border-bottom: 1px dashed;
  padding: 3px 1px 3px 1px;
  background-color: #f0f0f0;
}