/* CSS Document */
body { background-color: #FFFFFF; }

p {
font-family: Arial, Helvetica, sans-serif;
color: #0000CC;
font-size: 12px;
}

pre {
font-family: Arial, Helvetica, sans-serif;
color: #0000CC;
font-size: 12px;
}

H1 {
font-family: Arial, Helvetica, sans-serif;
color: #0000CC;
font-weight: bold;
font-size: 20px;
}

H3 {
font-family: Arial, Helvetica, sans-serif;
color: #0000CC;
font-weight: bold;
font-size: 15;
}

A { color: #0033CC; }
A:visited { color: #6600CC; }
A:active { color: #3300FF; }

A.internal { color:#0033CC; }
A.internal:visited { color:#0033CC; }

A.internal { color:#3300FF; text-decoration:none; }
A.internal_dest { color:#0000CC; text-decoration:none; }
A.internal:visited { color:#3300FF; text-decoration:none; }

A.nav { color:#0000FF; text-decoration:none; }
A.nav:visited { color:#0000FF; text-decoration:none; }

td {
font-family: Arial, Helvetica, sans-serif;
color: #0000CC;
font-size: 12px;
}