.build {
  color: #808080;
}

.attention {
  color: #000000;
  font-style: italic;
}

.warning {
  color: #0000ff;
}

.error {
  color: #ff0000;
}

.log_head {
}

.log_body {
  font-style: italic;
  margin-left: 2em;
}

table {
  border-width: 0px 0px 0px 0px;
  border-spacing: 0px;
  border-style: none none none none;
  border-color: gray gray gray gray;
  border-collapse: collapse;
  background-color: white;
}
table th,td {
  border-width: 1px 1px 1px 1px;
  padding: 3px 3px 3px 3px;
  border-style: solid solid solid solid;
  border-color: gray gray gray gray;
  background-color: rgb(255, 255, 240);
}