/*
** style.css
*/

body {
  color: black;
  background-color: white;
  font-family: Verdana, Geneva, Arial, Helvetica, sans-serif;
}

body > p {
  font-size: 12px;
}

div > p {
  font-size: 12px;
}

h1 {
  font-size: 14px;
  font-weight: bold;
}

li {
  font-size: 12px;
}

dt {
  font-size: 13px;
  font-weight: bold;
}

dd {
  font-size: 12px;
}

dt.autorepoman {
  color: red;
}