body { background: #D0E0F0 ; color: black }
dt { font-style: italic }
p.caption { font-style: italic ; text-align: center }
p.annotation { font-style: italic }
p.figure { text-align: center }
p.highlight { font-weight: bold }
hr { width: 60% }

.emph { font-style: italic }
.comment { font-weight: bold }
.web_display {
  font-family: Helvetica, Verdana, sans-serif;
  padding-left: 200px;
  width: 60%;
}