body {
  color: #555;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, Futura
}
h1, h2, h3, .bigcenterheader {
  color: #fd0002;
  font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
  font-weight: bold
}
h1.bigcenterheader {
  text-align: center;
  font-size: xx-large;
}
h2.bigcenterheader {
  text-align: center;
  font-size: x-large;
}
.blueheader {
  color: blue;
}
.grayheader {
  color: #5d5b4e;
}
h1 {
  font-size: 18px;
}
h2 {
  font-size: 14px;
}
h3 {
  font-size: 13px;
}
h3 a {
  font-size: 18px;
}
p {
  color: #555; font-size: 11px; font-family: Verdana, Arial, Helvetica, Futura
}
tr.headerrow {
  font-weight: bold;
}
ul {
  padding-left: 20px;
  margin-left: 0; /* IE seems to need this */
}
li {
  padding: 5px;
}
td {
  color: #555;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, Futura
}
.footnote {
  font-size: 80%;
}
.headline  {
  color: #5d5b4e;
  font-weight: bold;
  font-size: 18px;
  font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular
}
.redbold {
  color: #fd0002;
  font-weight: bold
}
.float-container {
  overflow: auto;
  width: 100%;
}

a {
  font-weight: 500;
  font-size: 11px;
  line-height: 15px;
  font-family: Arial, Helvetica, Geneva, Swiss, SunSans-Regular;
  text-decoration: none;
  background-color: transparent
}
/* Note: the order of these pseudo-classes matters */
a:link, a:visited { color: #00f; }
a:hover { color: #dc143c; }
a:active { color: #cc8412; }

.link2 {
  color: #fff
}
ul.no-bullet-list {
  list-style-type: none;
  padding-left: 0;
}

/* Note: comments are delimited as in C */