.winstyle20257{ font-size: 9pt ;}

.winstyle20263{ font-size: 9pt ;}