button.xsmall {
  padding: 0.05rem 0.175rem;
  font-size: 14px;
  margin: 0 .5rem;
}

#overlay {
  position: fixed;
  display: none;
  width: 40%;
  height: 100%;
  top: 0;
  right: 0;
  background-color: rgba(0,0,0,0.5);
  z-index: 2;
  cursor: pointer;
  margin-top: 48px;
}

#overlay > ul {
  margin: 0 0 0 0;
  list-style:none;
  width: 98%;
  height: 45%;
  color: #FFFFFF;
  overflow-x: hidden;
  overflow-y: scroll;
}

#logs > li > pre {
  color: #000000;
}

#logs > li > p {
  font-size: 14px;
}

#logs > li > pre {
  color: #000000;
  font-size: 12px;
}

#logs > li > p {
  font-size: 14px;
}

#stats > li > pre {
  color: #000000;
  font-size: 12px;
}

header p {
  background: #12171a;
  color: #f5f5f5;
  vertical-align: top;
  margin: 0.125rem 0;
  padding: 0.5rem 0.75rem;
}