 a:link    { color: #0000ff; }
 a:hover   { color: #0000ff; }
 a:visited { color: #0000ff; }
 a[name]:link    { color: #0000ff; }
 a[name]:hover   { color: #0000ff; }
 a[name]:visited { color: #0000ff; }
 table { font-size:12px; }
