#faq {
  font-size: 10pt;
}

#faqbody dt {
	font-size: 120%;
	font-weight: bold;
}

a.index {
  font-size: 10pt; 
  text-decoration:underline;
}

a.nav {
  font-size: 10pt; 
  text-decoration: underline; 
  font-weight: bold
}

a.underline {
  text-decoration: underline;
}

div.harch {
  font-size: 12pt;
  font-weight: bold
}

ul.index li {
  padding-bottom: 1.5em;
}