body {
  font-family: Verdana, sans-serif;
}

a.toggle {
  font-size: 12pt;
  text-decoration: none;
  color: black;
}

.closed {
  background-color: ccffcc;
}

.consensus {
  background-color: ffffcc;
}

div.commentlist {
  margin-top: 1em;
}

div.comment {
  margin-left: 2em;

}

div.title {
  margin-top: 8px;
  margin-left: 3em;
  text-indent: -5em;
}

span.subject {
  font-style: italic;
}

span.name {
}

div.mail {
  background-color: #e0e0ff;
  padding: 5px;
}

div.thread {
  margin-left: 2em;
}

a.message,
a.message:visited {
  text-decoration: none;
  color: black;
}