@charset "utf-8";
body {
  margin: 15px;
  font-style: normal;
  font-weight: normal;
  text-transform: none;
  font-family: "Times New Roman",Times,serif;
  text-align: left;
  background-color: #e8edff;
  color: #000066;
}
a:link {
  color: #006600;
}
a.external:visited {
  color: #333399;
}
a.external:active {
  color: #999900;
}