a.black                { color: #000000; text-decoration: none; font-weight: bold }
a.black:hover          { color: #0000ff; text-decoration: none; font-weight: bold }
a.index                { color: #000000; text-decoration: none; font-size: 8pt; font-weight: bold }
a.index:hover          { color: #0000ff; text-decoration: none; font-size: 8pt; font-weight: bold }
a.navig                { color: #000000; text-decoration: none; font-size: 8pt; font-weight: bold }
a.navig:hover          { color: #0000ff; text-decoration: none; font-size: 8pt; font-weight: bold }

a#1                    { color: #000000; text-decoration: none; font-weight: bold }
a#1:hover              { color: #0000ff; text-decoration: none; font-weight: bold }
a#2                    { color: #000000; text-decoration: none; font-size: 8pt; font-weight: bold }
a#2:hover              { color: #0000ff; text-decoration: none; font-size: 8pt; font-weight: bold }
a#3                    { color: #000000; text-decoration: none; font-size: 8pt; font-weight: bold }
a#3:hover              { color: #0000ff; text-decoration: none; font-size: 8pt; font-weight: bold }