.titlestyle1013831{ font-size: 15px; text-decoration: none; color: #333; line-height: 150% ;}
.buttonstyle1013831{ font-size: 9pt ;}
.summarystyle1013831{ font-size: 9pt ;}
.clickstyle1013831{ font-size: 9pt ;}
.winstyle1013831{ font-size: 15px ;}
.headstyle1013831{ font-weight: bold; font-size: 9pt ;}