/* Used instead of h1 */
.heading
{
  font-size: 130%;
  font-weight: bold;
}

/* Used instead of h2 */
.heading2
{
  font-size: 110%;
  font-weight: bold;
}

/* Used for all footer text */
.footer
{
  text-align: right;
  font-size: 75%;
}

/* Used to get small text, but not in the footer */
.small
{
  font-size: 75%;
}

a:visited { background-color: transparent; color: #006633; }
a:hover   { background-color: #ffffcc; }
a:active  { background-color: #ffffcc; }

/* Used in const.html and xconst*.html */
/* em.change { color: #006060; } */
em.change { color: black; }

/* In the xconst* pages, notes boxes */
p.notes { color: black; background-color: white;
          border: 2px solid black; padding: 2px }

/* Used on any page where quoting is necessary - replaces blockquote */
.quote {
  font-style: italic;
  margin-left: 5%;
  margin-right: 5%;
}

.printonly { display: none; }

@media print {

  body
  {
    color: black;
    background-color: white;
    font-family: "Times New Roman",Times,serif;
  }
  .noprint
  {
    display: none;
  }
  .printonly
  {
    display: block;
  }
  a:link, a:visited
  {
    color: blue;
    background-color: transparent;
  }
  p {
    text-align: justify;
  }
  blockquote {
    border: black 1px solid;
    padding: 1pt;
  }

}