body {
/*  border-width: 3px;
  border-left-style: solid;
  border-right-style: solid;
*/
/*  border-color:  #202080;*/
/*  border: 3px black solid; */
  border-color: black;
  font-family: sans-serif;
  font-size:  12pt;

/* Necessary for making margin: auto work to center main div */
  text-align:  left;  

/*  background:  #4577FF;*/
  background: #202080;

/* Patrick says browsers automatically add margins 
   and padding to body, so we have to override 
   them here */
  margin: 0px;
  padding: 0px;

}

div.banner {
}


div.sidebar {
  float: left;
/*  background: #ccffaa;*/
  background: #ccddff;
  margin-top: 3px;
/*  border: #202080 solid 3px;*/
  padding: 3px;
  text-align: left;
  width: 200px;
}

div.contact {
  background:  #AAAAFF;
  float: right;
  padding: 3px;
  font-family: sans-serif;
  font-size: 10pt;
  color: white;
  text-align: left;
  float: right;
}

div.main {
  margin-top:  3px;
/* For centering main div, if desired */
/*  margin: 0 auto;*/
  margin-left: 206px;
  width:  650px;
  text-align: left;
  background: #FFFFFF;
  border:  #FFFFFF solid 10px;
}

div.image {
  text-align: center;
}

div.image .caption {
  font-family: sans-serif;
  font-size: 10pt;
  font-weight: bold;
  margin: 10px;
  margin-bottom: 20px;
}

div.sitename {
  font-family: sans-serif;
  font-size: 16pt;
  color: white;
  background-color: #202080;
  text-align: left;
  float: right;
  margin-right: 1em;
}

h1 {
  margin: 0px;
/*  padding-top: 80px;*/
  padding-left: 10px;
  font-size:  35pt;
  font-family: "Arial",Sans;
  color: white;
  background-color: #202080;
  text-align: left;
}

h3 {
  font-style: italic;
}

img.headshot {
  float:right;
  margin: .25cm;
  border: 3px #aa99cc solid;
}

div.figure {
  float: right;
  width: 70%;
  padding: 10px;
}

div.myname {
  font-weight: bold;
}

div.main .copyrightnotice {
  font-size: 8pt;
}

div.note {
  font-size: 10pt;
  font-weight: bold;
}