body { 
    margin-left: 10%; 
    margin-right: 10%; 
    font-family: verdana, sans-serif;
    font-size: 80%;
  }
  h1 {
    margin-top: 0.5em;
    margin-bottom: 0em;
    color: rgb(255,0,0);
    text-align: center;
  }
  h2 {
    margin-top: 0em;
    margin-bottom: 0em;
    font-style: italic;
    font-size: 80%;
    text-align: center;
  }
  div.box {
    border: solid;
    border-width: thin;
    padding: 0.5em;
    width: 100%;
  }
  div.legal {
    text-align: center;
    font-size: 70%;
    width: 100%;
  }
  div.iecenterbugfix {
    text-align: center;
  }
  div.pitch {
    text-align: left;
    padding: 0.5em;
    border: solid red;
    margin: 1em auto;
    width: 80%;
  }
  .red {
    color: red;
  }
  .lookatme {
    text-decoration: underline overline;
  }
  .lookatme:hover {
    text-decoration: blink;
}