
body {
  background-color: #F8F8F8;
  font-family: 'Open Sans', sans-serif;
  font-size: 14px;
  font-weight: normal;
  line-height: 1.2em;
  margin: 15px;
}

h1, p {
  color: #333;
}

#vmstats {
  width: 100%;
  height: 500px;
  position: relative;
  border: 1px solid #ccc;
  background-color: #fff;
  padding: 10px;
}

#dashboard {
  font-size: 12pt;
  text-align: left;
  margin: 20px;
}

#graph {
  font-size: 12pt;
  text-align: left;
}

.isolate_list {
  font-family: 'Open Sans', sans-serif;
  font-size: 14px;
  vertical-align: top;
}

.isolate_details {
  visibility:visible;
}

.hidden {
  visibility:hidden;
  height: 0px;
}

.stack_trace_title {
  font-weight: bold;
}

.stack_frame {
  font-family: "monospace";
}

.empty_stack_frame {
  font-style: italic;
}

td {
  padding-left: 10px;
  padding-right: 10px;
  vertical-align: top;
}