.unnamed1 {  border: #9999CC dotted; font-family: Arial, Helvetica, sans-serif; font-size: 12px; border-width: 0px 0px 1px; clip:    rect(   ); color: #4E4E68; line-height: 18px; font-weight: normal}
.unnamed2 {  border: #9999CC dotted; border-width: 0px 0px 1px}
.unnamed3 {  border-color: black black black #9999CC; border-style: dotted; border-left-width: 1px}
.docIntro {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	clip:    rect(   );
	line-height: 18px;
	font-weight: normal;
	border-top: 0px dotted #9999CC;
	border-right: 0px dotted #9999CC;
	border-bottom: 0px dotted #9999CC;
	border-left: 0px dotted #9999CC;
}