h1 {
  font-family: times new roman;
  font-size: 24px;
  color: blue;
}

ol {
  list-style-type: decimal;
  font-family: times new roman;
  font-size: 20px;
  line-height: 190%;
  color: blue;
}

hr.sep {
  position: relative;
  top: -7px;
}

td.title {
  font-family: times new roman;
  font-size: 20px;
  width: 75%;
  text-align: left;
}

td.backtop {
  font-family: times new roman;
  font-size: 20px;
  width: 25%;
  text-align: center;
}

td.sepbig {
  height: 15px;
}

p.big {
  font-family: times new roman;
  font-size: 18px;
  line-height: 150%;
  margin: 0px 0px 0px 22px;
  text-align: justify;
}