body {
  margin: 8px;
}

#maintitle {
  background-color: #ccddff;
  padding: 8px 15px;
  border: solid black 1px;
  margin: 0px;
}

#maintitle img {
  float: left;
  margin-right: 16px;
  border: none;
}

h1 {
  vertical-align: middle;
  line-height: 128px;
  margin: 0;
}

#menubar {
  margin-top: 8px;
  margin-bottom: 8px;
}

#content {
  background-color: #eeeeee;
  padding: 25px 50px;
  min-height: 600px;
}

.inlinediv {
  display: inline-block;
}

#yourip {
  position: relative;
  float: right;
  top: 96px;
  font-family: sans-serif;
  border: solid black 1px;
  background-color: #ffffff;
  padding: 3px 5px;
  font-size: small;
}

#yourip span {
  font-family: monospace;
  font-size: medium;
}

#output {
  font-family: monospace;
  background-color: #ffffff;
  white-space: pre;
}

span.bad_dns_comp {
  background-color: #ff5555;
}