banner      { font-family: Times New Roman; color: #000080; font-size: 24pt; font-weight: bold }page header  {  }