body             { font-size: 16px; margin-left: 16px; margin-right: 16px; font-family: arial,helvetica,sans-serif; }
  .blue            { color: #005097; }
  .yellow          { color: #fec94a; }
  .title           { color: #005097; font-size: 150%; font-family: Times New Roman; }
  .menu            { font-size: 18px; font-weight: bold; margin-left: 0px; }
  .menu:link       { color: #fec94a; }
  .menu:visited    { color: #fec94a; }
  .submenu         { font-size: 16px; font-weight: bold; margin-left: 16px; }
  .submenu:link    { color: #ffffff; }
  .submenu:visited { color: #ffffff; }
  .top-banner      { font-size: 50px; color: #fec94a; }