body {
  border: solid thin black;
  font-family: arial, sans-serif;
  background-color: #287fa8;
  font-size: medium;
}

#all {
  font-family: "tahoma", arial, sans-serif;
  font-size: 90%;
  margin: 20;
  padding: 0.8em;
  padding-top: 0.3em;
  background-color: #FBFBFF;
  border-bottom: solid thin black;
}

ul {
  border: none;
  margin-top: 0;
  margin-bottom: 0;
  margin-left: 20;
  padding: 0;
}

a {
  text-decoration: none;
  color: #135a99;
}

a:hover {
  color: #000000;
  background-color: #6bafce;
}

a:visited {
  color: inherited;
}


h1 {
  font-size: 200%;
  text-align: center;
  color: #105777;
  margin: 0;
  border-bottom: solid thin black;
  padding: 0.3em 0;
  margin-bottom: 0.3em;
}

h2 {
  font-size: 150%;
  color: #105777;
  margin-bottom: 0.2em;
  clear: left;
}

h3 {
  font-size: 120%;
  color: #105777;
  margin-bottom: 0.2em;
  clear: left;
}


p {
  text-align: justify;
  margin-top: 0;
  margin-bottom: 1em;
}


ol > li {
  margin-bottom: 1em;
}

ol li {
  padding: 0;
  margin-bottom: 0.2em;
}

HR {
  color: #000080;
  height: 2;
}


/* Keep this last */

@media print {
  body {
    background-color: #ffffff;
  }

  #page-frame {
    margin: 0;
    background-color: #ffffff;
    border: none; 
  }

  #page {
    font-size: 10pt; 
  }

  #menu-frame {
    display: none;
  }

  #totop {
    display: none;
  }

  .glossary .desc {
    background-color: white;
    color: black;
  }

  .npnav {
    display: none;
  }
}