p { margin: 0 0 1em 0; }
pre { font-family: 'Courier New'; }


body { font-size: 16px; line-height: 1.125em; font-family: "Lucida Grande", Tahoma, Arial, sans-serif; }



/*
font-size: 0.6875em for 11px (16x0.6875=11)
font-size: 0.75em for 12px (16x0.75=12)
font-size: 0.875em for 14px (16x.875=14)
*/

a { color: #00289b; text-decoration: none; }
a:visited { color: #00289b; text-decoration: none; }
a:hover { text-decoration: underline; }