A.c255383{
font-size: 14px;
line-height:28px;
text-decoration: none;}
A.c255383:hover {
color: #8c0000;}
.c255383_jump {
font-size: 9pt;
margin-left:8px; margin-right:8px;}