<!--
a:hover { font-size:105%; color:rgb(138,125,255); text-decoration:none; }
-->