p            { font-family: Arial; color: #000080; text-indent: 20; line-height: 100%;                margin-top: 8; margin-bottom: 8 }.program     { font-family: Courier New; font-size: 10pt; color: #008000; line-height: 100%;                text-indent: 0; margin-top: 0; margin-bottom: 0; background-color: #CCFFCC }.output      { font-family: Courier New; font-size: 10pt; color: #800000; line-height: 100%;                text-indent: 0; margin-top: 0; margin-bottom: 0; background-color: #FFFFCC }hr           { color: #0000FF }h1           { color: #0000FF; font-family: Arial; font-size: 18pt; font-weight: bold }h2           { font-size: 14pt; font-family: Arial; color: #0000FF; font-weight: bold;                border-bottom: 1 solid #0000FF }h3           { font-size: 12pt; font-family: Arial; color: #0000FF; text-decoration:                underline; font-weight: bold }A:hover      {color: #FF0000}