BODY {
  display:block;
  padding-left: 2em;
  padding-right: 2em;
  padding-top: 8px;
  font-family: Helvetica, san-serif;
  font-size: 18pt;
  font-weight: bold;
  background-color: #ffffe0;
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom: 2em;
  margin-top: 2em;
  background-image: URL(black_and_blue2.gif);
  background-repeat: repeat-y;
}

p {
  margin-left: 5%;
}

pre { display: block;
      font-family: Helvetica, san-serif;
      font-size: 14pt;
      font-weight: bold;
      background-color: white;
}

ul {
  margin-left: 5%;
}

a {
  display: block;
  color: blue;
  text-decoration: underline;
  cursor: hand;
  }

.author {
 text-align: center;
}

.defterm {
  font-family: lucida-typewriter, monospace;
  font-size: 70%;
  font-weight: bold;
  color: maroon;
}

.logo {
  float: left;
  margin-bottom: 3em
}

.eg {
  padding-left: 1em;
  padding-top: .5em;
  border: solid thin;
  margin: 1em 0;
  font-family: lucida-typewriter, monospace;
  font-size: 70%;
  background-color: tan;
  margin-left: 5%;
  margin-right: 10%;
}

.aside {
font-style: italic;
}

p emphasis{
font-weight: bold;
}

image {
  text-align: center;
  margin-top: 3em;
  margin-bottom: 3em;
  }

H1.title {
  font-family: Helvetica, san-serif
  font-size: 30pt;
  font-weight: bold;
  text-align: center;
  color: maroon;
  margin-top: 3em;
}

.key {
  color: navy;
  font-family: lucida-typewriter, monospace;
  font-size: 90%;
}

.item {
  font-family: lucida-typewriter, monospace;
  font-size: 80%;
}

.abstract {
  color: green;
  font-style: italic;
}