body{
  margin: 10pt;
  font-size: 100%;
  line-height: 140%;
}
h1{
  font-size: 200%;
  background-color: #FFE4E1;
  text-align: center;
}
h2{
  font-size: 150%;
  background-color: #ffdead;
}
dl{
  margin: 12pt;
}
dt{
  margin-top: 6pt;
  font-size: 113%;
  font-weight: bold;
  background-color: #E6E6FA;
}
dt.add{
  margin-top: 6pt;
  font-size: 113%;
  font-weight: bold;
  background-color: #FFE4E1;
}
dd{
  font-size: 100%;
  text-indent: 12pt;
}
dd.ref{
  font-weight: bold;
  text-indent: 0pt;
}
.right{
  text-align:right;
}


#pl{  
text-align: left;  
font-size: 80%;  
}  

#crumbs{  
height:80%;   
}  

#crumbs li{  
 float: left;  
}  

 #crumbs li a {  
display: block;  
background: url(crumbs.gif) no-repeat right center;  
padding-right: 15px;  
}