body {
          background: #04468B;
          margin-left: 5%;
          margin-right: 5%;
     }
     :link {
          color: #C0C0C0;
     }
     :visited {
          color: #C0C0C0;
     }
     :active {
          color: #C0C0C0;
     }
     :hover {
          color: white;
     }
     a.plain {
          text-decoration: none;
     }
     pre {
          font-family: monospace;
     }
     .section {
          font-family: Arial;
          font-size: 24pt;
          color: #8080A0;
          margin-top: 1em;
          margin-bottom: 1em;
     }
     .text {
          font-family: Arial;
          font-size: 10pt;
          color: white;
     }
     .largetext {
          font-family: Arial;
          font-size: 14pt;
          color: white;
     }
     .headingtext {
          font-family: Arial;
          font-size: 10pt;
          color: #8080A0;
     }
     .menuitemtext {
          font-family: Arial;
          font-size: 12pt;
          color: #C0C0C0;
     }
     .selectedmenuitemtext {
          font-family: Arial;
          font-size: 16pt;
          color: white;
     }
     .menuitem {
          background: #04468B;
          border: none;
     }
     .selectedmenuitem {
          background: #04468B;
          border: none;
     }