body {
    background-color: #eeeeee;
  }
  H1 {
    font-familty: sans-serif;
    font-style: italic;
    font-variant: small-caps;
    font-weight: bold;
    font-size: xx-large;
    color: #206040;
    width: 100%;
    border-bottom-style: solid;
    border-bottom-width: 4px;
    border-bottom-color: #ff0000;
    text-shadow: #102010 3px 3px 4px;
  }
  H2 {
    background-color: #f0f8ff;
  font-familty: sans-serif;
  font-size: large;
  font-weight: bold;
  color: #663300;
  width: 80%;
  padding-left: 1ex;
  border-bottom-style: solid;
  border-bottom-width: 2px;
  border-bottom-color: #808080;
  border-top-style: solid;
  border-top-width: 2px;
  border-top-color: #808080;
  border-left-style: solid;
  border-left-width: 20px;
  border-left-color: #0000ff;
  border-right-style: solid;
  border-right-width: 20px;
  border-right-color: #0000ff;
}
em {
  font-style: italic;
}
.navigation {
  font-family: serif;
  font-weight: bold;
  width: 600px;
  color: #101060;
  margin-left: 0;
  padding-left: 0;
  padding-bottom: 5px;
  list-style-type: none;
}
.navigation a {
  display: block;
  padding-top: 5px;
  padding-bottom: 5px;
  background-color: #ffdd88;
  border-top: 1px solid #808080;
  border-left: 1px solid #808080;
  border-bottom: 1px solid #808080;
  border-right: 1px solid #808080;
  text-decoration: none;
  text-align: center;
}
.navigation a:hover {
  text-decoration: underline;
  color: #108080;
}
.navigation li {
  float: left;
  width: 150px;
}
.paragraph  {
  font-family: serif;
  font-size: large;
  color: #101010;
  font-weight: bold;
  width: 80%;
  margin: 1em 2em;
  text-indent: 2em;
  text-align: justify;
}
.publication {
  list-style-type: square;
  font-family: serif;
  font-size: large;
  color: #101010;
  font-weight: bold;
  width: 80%;
}
.publication li {
  padding-bottom: 5px;
}
.lecture {
  font-family: serif;
  font-size: large;
  color: #101010;
  font-weight: bold;
  width: 80%;
}
.lecture a {
  text-decoration: none;
}
.lecture a:hover {
  text-decoration: underline;
  color: #108080;
}
.address {
  margin-left: 1em;
  list-style-type: none;
  font-family: serif;
  font-style: italic;
  font-weight: bold;
  font-size: large;
  color: #101060;
  width: 80%;
  padding-left: 1em;
  border-top-style: solid;
  border-top-width: 1px;
  border-top-color: #808080;
  border-bottom-style: solid;
  border-bottom-width: 1px;
  border-bottom-color: #808080;
}