body {
  font: 16px Arial, sans-serif;
  color: #000;
  background: #fff;
  position: absolute;
  width: 90%;
  margin: 5%;
  margin-top: 0.8em;
  margin-bottom: 1em;
  min-height: 1260px;
}
#cube_background { background: #fff url('cube.gif') no-repeat top; }
#ss_background { background: #fff url('spectral_sequence.gif') no-repeat top; }
#left_border {
  position: fixed;
  left: 0px;
  top: 0px;
  width: 5%;
  margin: 0px;
  margin-left: 4px;
  height: 100%;
}
#left_border_2 {
  position: fixed;
  left: 0px;
  top: 0px;
  width: 5%;
  margin: 0px;
  margin-right: 4px;
  height: 100%;
}

div {
  margin: 4px;
  border: 0px;
  padding: 0px;
}
p {
  margin-left: 0px;
  margin-right: 0px;
  margin-top: 8px;
  margin-bottom: 16px;
  border: 0px;
  padding: 0px;
  line-height: 130%;
  background-color: rgba(255,255,255,0.3);
}

.lightbackground {
  background-color: rgba(255,255,255,0.83);
}

.title {
  font-size: 28px;
  font-weight: bold;
}
#title{ max-width: 300px; }
#seminar_title { max-width: 500px; }

.subtitle {
  font-size: 20px;
  margin-bottom: 0px;
  }
#position { max-width: 375px; }

.address {
  margin-top: 0px;
  margin-bottom: 0px;
  margin-left: 4px;
  max-width: 300px;
}
.address p {
  margin-top: 0px;
  margin-bottom: 0px;
}
.spacer {
  margin-top: 0px;
  margin-bottom: 0px;
  height: 20px;
  width: 300px;
}

#portrait {
  margin-left: 4px;
  margin-top: 0px;
  border: 2px solid;
  padding: 0em;
  width: 257px;
  height: 290px;
  // was 291px height 389px width for the first portrait
  // was 259px height 389px width for the second portrait
  // was 292px height 389px width for the fourth portrait
  // was 305px height 389px width for the fifth portrait
  // sixth width 293px height 320px
  // seventh width 346px height 390px before rescaling, so 1.12716763 aspect ratio
  //text-align: center;
}

#updated {
  font-size: 12px;
  margin-top: 14px;
  margin-left: 4px;
  max-width: 200px;
}

#info_portrait_container {
  width: 300px;
  // was 410px
  margin: 0px;
  height: 500px;
}
#main_text_container {
  position: absolute;
  top: 0px;
  left: 300px;
  // was 410px
  margin: 0px;
  margin-top: 5px;
}
.big_container {
  position: absolute;
  top: 0px;
  left: 10px;
  margin: 0px;
  width: 800px;
}
.heading {
  font-size: 18px;
  font-weight: bold;
  margin-left: 0px;
  margin-bottom: 0px;
  max-width: 160px;
}
p + .heading {
  margin-top: 18px;
}

#main_text .heading {
  margin-left: 10px;
}
#main_text p {
  margin-left: 20px;
  margin-bottom: 5px;
}
.wideheading {
  max-width: 300px;
}
.big_container p {
  margin-left: 20px;
  margin-bottom: 5px;
  max-width: 700px;
}
#teaching_container p {
 max-width: 600px;
}
ul {
  margin-top: 10px;
}
ul ul {
  margin-top: 0px;
}

a {
}
a:link {
  color: #00f;
}
a:visited {
  color: #505;
}
a:active, a:hover {
  color: #c00;
}

table {
  padding-bottom: 0.5em;
}
tr {
  border-bottom: solid thin;
  border-top: solid thin;
}
tr.done {
  color: aaa;
}
th, td {
  width: 10em;
  padding: 0.3em;
  padding-left: 1.0em;
  padding-right: 1.0em;
  text-align: center;
}
th+th+th, td+td+td {
  width: 16em;
}
th+th+th+th, td+td+td+td {
  width: 10em;
}

li {
  padding-bottom: 0.2em;
}

.highlight {
  color: #900;
}
.lowlight {
  color: #444;
}
.abstract {
  font-size: 14px;
}

.details {
  font-size: 13px;
}