body {
  color: black;
  background-color: #eae9e8;
  font-family: Helvetica,Arial,sans-serif;
  padding: 0;
  margin: 0;
}

.title {
  padding-top: 0;
  margin-top: 0;
  padding-left: 10px;
  padding-right: 10px;
  background-color: silver;
  font-size: 16pt;
}

ul.thread {
  padding: 5px;
  padding-left: 18px;
  margin-left: 10px;
  margin-right: 10px;
  border: 1px solid black;
  background-color: #fbfbfb;
}

ul.nothread {
  padding-left: 18px;
  margin-left: 10px;
  margin-right: 10px;
}

div.message {
  padding: 15px;
  margin-left: 10px;
  margin-right: 10px;
  border: 1px solid black;
  background-color: #fbfbfb;
}

div.headers {
  padding: 15px;
  margin-top: 10px; 
  margin-left: 10px;
  margin-right: 10px;
  border: 1px solid black;
  background-color: #fbfbfb;
  border-bottom: none;
}

div.navi {
  padding-left: 10px;
  padding-right: 10px;
  font-size: 10pt;
  background-color: #dadada;
}