<style>

.pic
 {
 border-width:7px;
  border-color:#FF0000;
  border-style:dotted;
}

 body 
 {
 border-width:10px;
 border-color:#FFFFFF;
 font-weight:bold;
 font-size:14pt;
 color:#9f0f0f;
}

span.ThisPageLink
{
 font-weight:bold;
 font-size:16pt;
 color:green;
}

span.PageLink
{
 font-weight:bold;
 font-size:12pt;
 color:green;
}

span.BoxHdr
{
 font-weight:bold;
 font-size:20pt;
}

div.box1 {
  width: 500px;
  border: 2px solid #9f0f0f;
  padding: 2px;
  margin: 5px;
}

</style>
