body, html { 
  color: #000000;
  background: #ffffff;
  max-width: 1000px;
}

a:link {
  background: #ffffff;
  color:  #0000ff;
  text-decoration: underline;
}

a:visited { 
  background: #ffffff;
  color:  #400860;
  text-decoration: underline;
}

h1 { 
  color: maroon;
  background:  white;
  border-bottom: solid 0.05em maroon;
  padding: .1em;
  margin: 0;
  margin-bottom: .1em;
  font-style: normal;
  font-weight: normal;
}

h2 {
  min-width: 200px;
  background: #fdd;
  color: #000;
}

div#lastupdated { clear: both; }
div#support { clear: both; }

p.lastupdated { 
  font-size: 70%;
  font-style: italic;
  margin-bottom: 0;
}

p.contact {
  margin-top: 0;
  font-size: 70%;
}

div#people_students { 
  position: relative;
  vertical-align: top;
  float: left;
  width: 45%; 
  padding-left: 1em;
  padding-right: 1em;
  margin-right: 1em;
}

div#people_fac { 
  position: relative;
  vertical-align: top;
  float: right;
  padding-left: 0;
  padding-right: 1em;
  width: 45%;
}

h3.people { 
  padding-top: 0;
  margin-top: 0;
  text-align: center;
  background: #fee;
}

ul.pubs li {
  margin-top: 0.5em;
}

#people ul { 
  width: 100%;
  float:  left;
  margin: 0;
  padding: 0;
  text-align:  center;
  white-space: nowrap;
}

#people ul li { 
 padding: 3px 10px;
 list-style: none;
}

#people li {
  margin-top: 0;
}

div#people { 
  padding-bottom: 1em;
  position: relative;
}

div#related {
  clear: both;
}

img.rightalign {
  float: right;
  margin-left:  1em;
  border: 0;
}