body {
  background-color: white;
  background-image: url(i/bluemargin.gif);
  background-repeat: repeat-y;
  margin-left: 30px;
  margin-right: 0px;
  margin-top: 0px;
  font-family: Lucida Sans, Arial, Helvetica, sans-serif;
  font-size: 12px;
  line-height: 16px;
}
h1 {
  color: #333399;
  margin-top: 18px;
  padding-top: 5px;
  border-top: solid;
  border-top-width: 1px;
}
h1.title {
  margin-top: 0px;
  border-top: none;
  border-top-width: 0px;
}
h2 {
  color: #333399;
  margin-top: 2em;
  padding-top: 5px;
  border-top: solid;
  border-top-width: 1px;
}
h3 {
  color: #333399;
  margin-top: 2em;
}
p {
  font-family: Lucida Sans, Arial, Helvetica, sans-serif;
  font-size: 12px;
  line-height: 16px;
}
table {
  font-family: Lucida Sans, Arial, Helvetica, sans-serif;
  font-size: 12px;
  line-height: 16px;
}
pre {
  font-family: "Courier New", Courier, monospace;
  margin-top: 0em;
  margin-bottom: 0em;
}
code {
  font-family: "Courier New", Courier, monospace;
}
ul {
  margin-top: 0em;
  margin-bottom: 0em;
}
ul.spaced { margin-top: 1em; }
li.spaced { margin-top: 1em; }
dt {
  font-weight: bold;
  margin-top: 1em;
}
dd {
  margin-bottom: 1em;
}
sub { font-size: 85%; }
sup { font-size: 85%; }
dfn {
  font-weight: bold;
}
.margin-top-0 { margin-top: 0em; }
.margin-bottom-0 { margin-bottom: 0em; }
p.formula {
  margin-left: 10%;
  margin-top: 0em;
  margin-bottom: 0em;
}
a:link {
	text-decoration: none;
        color: #333399;
}
a:visited {
	text-decoration: none;
        color: #993399;
}
a:hover {
	text-decoration: underline;
}
a:active {
	text-decoration: none;
}