HTML, BODY {
font-family: Garamond, Times, Times New Roman;
color: #000000;
background: #ffffff;
font-size: 16px;
}

pre {
font-family: courier, courier new;
font-size: 11px;
}

a {
color: #111199; TEXT-DECORATION: none
}

A:active {
COLOR: #993333; TEXT-DECORATION: none
}
A:hover {
COLOR: #993333; TEXT-DECORATION: none
}

.copy12 {
font-size: 12px;
}

.copy14 {
font-size: 14px;
}

.copy15 {
font-size: 15px;
}