BODY {
  background-color: #C0C0C0;
  font-family: arial,helvetica,sans-serif;
  font-size: 16px;
  color: #000080;
  }

A {
  text-decoration: none;
  color: #008080;
  }

A:hover {
  color: #940000;
  }

.text_style {
  color: #000080;
  font-family: arial,helvetica,sans-serif;
  font-size: 16px;
  }

.title_style {
  color: #940000;
  font-weight: bold;
  }

.subtitle_style {
  font-style: italic;
  }

.huge_style {
  font-size: 36px;
  }

.reference_style {
  margin-left: 18;
  }

.large_style {
  font-size: 20px;
  }

.tiny_style {
  font-size: 9px;
  }

.hr_style {
  color: #940000;
  }