/* Style sheet for header */

body { font-family: "Times New Roman", serif;
       font-size: 8pt;
       font-style: normal;
       font-weight: normal;
       color: black;
       background-color: #000066;
     }