body {
  background-color: white ;
  font-family: Times ;
  font-size: 12pt ;
  color: black ;
  scrollbar-face-color: white ;
}

div.indented_para {
  margin-top: 5 ;
  margin-bottom: 5 ;
  margin-left: 30 ;
  text-indent: -20 ;
}

div.header {
  text-align: center ;
  font-size: larger ;
  font-weight: bold ;
}

div.minor_header {
  font-family: Lucida ;
  font-size: larger ;
  color: blue ;
}

div.list {
  margin-left: 10 ;
  text-indent: -10 ;
}

span.xref {
  font-family: Lucida ;
  text-transform: uppercase ;
  font-size: smaller ;
  color: blue ;
}

ul {
  list-style-type: square ;
  margin-left: 20 ;
  padding-left: 5 ;
}

li {
  line-height: 1 ;
  margin-left: 5 ;
  padding-left: 5 ;
}

ul {
  list-style-type: square ;
}

a:link, a:visited {
  color: MidnightBlue ;
  text-decoration: none ;
}

a:hover {
  color: MidnightBlue ;
  text-decoration: underline ;
}