<!--
body {
  font-family: verdana,helvetica,arial,sans-serif;
  font-size: 14px;
  text-align: left;
  width: 850px;
  background-color: #ffffff;
}
.title {
  font-family: arial,verdana,sans-serif;
  font-size: 24px;
  margin-left: 10px;
}
.subtitle {
  font-family: arial,verdana,sans-serif;
  font-size: 18px;
  margin-left: 10px;
}
.notes {
  font-family: arial,verdana,sans-serif;
  font-size: 12px;
  color: #000000;
}
.article {
  font-family: arial,verdana,sans-serif;
  font-size: 14px;
  margin-left: 10px;
  text-indent: 30px;
}
blockquote {
  font-family: arial,verdana,sans-serif;
  font-size: 16px;
  margin-left: 60px;
}
.medium {
  font-size: 13px;
  font-weight: bold;
  text-decoration: underline;
}
.normal {
  font-family: arial,verdana,sans-serif;
  font-size: 14px;
}
a {
  font-size: 14px;
  color: #0000ff;
  text-decoration: none;
}
a:hover {
  font-size: 14px;
  background: #ffff80;
  color: #ff0000;
  text-decoration: none;
}
a:hover.medium {
  color: #0000ff;
  background: #ffffff;
  text-decoration: underline;
}
tt {
  font_family: courier;
  font-size: 16px;
  color: #000000;
}

.example {
  font-size: 14px;
  background-color: #e8ffe8;
  border-width: thin;
  border: thin solid #000000;
  padding: 15px;
}
.error {
  font-family: arial,verdana,sans-serif;
  font-size: 14px;
  color: #ff0000;
}
-->