body {
      margin: 15% 10% 15% 10%;}
    a:link {color: blue;}
    a:visited {color: brown;}
    a:active {color: red;}
    a:hover {color: white;
             background-color: #9e8b75;}
    a {text-decoration: none;}
    .title {text-align: left;
      font-weight: bold;
      font-size: 20pt;}
    .minititle {color: black;
      text-align: left;
      font-weight: bold;
      font-size: 14pt;}
    .band {
      background-color: #F2D5BF;
      color: white;
      font-weight: bold;
      font-size: 9pt;
      }
    .mini {font-size: 9pt;}
    .back {
      background-color: #F2D5BF;
      color: black;
      font-size: 10pt;
      }
    pre {
      background-color: #dddddd;
      }
    .margin {
       margin-left: 5%;
       }
    p {
       font-size: 9pt;
       margin-left: 5%;
       text-align: left;
      }