a:link {  color: #000099; text-decoration: underline}

a:visited {  color: #000099; text-decoration: underline}

a:hover {  color: #0000FF; text-decoration: underline}

.art25 {  font-size: 25px; text-decoration: none}

