/******************************************************************************* Defines styles for the article pages on the site.                           *******************************************************************************/a {  color: #0070b0;  font-weight: bold;  text-decoration: none;}a:hover {  color: #e04000;}body {  background-color: #6699FF;  color: #000000;  font-family: Arial, Helvetica, sans-serif;  font-size: 10pt;  text-align: center;}h2 {  font-size: 140%;  margin-top: 0px;}h3 {  font-size: 120%;}h4 {  font-size: 100%;}input, textarea {  border-width: 1px;  padding: 2px;}input.button {  border-width: 2px;  font-family: Arial, Helvetica, sans-serif;  font-weight: bold;}pre {  color: #006060;  font-family: "Courier New", Courier, monospace;  font-size: 80%;  margin-left: 1em;}pre i,pre var {  color: #c06000;}td, th {  font-size: 10pt;  text-align: left;  vertical-align: top;}th {  font-weight: bold;  text-align: left;}/* Boxed table styles */table.boxed {  border-spacing: 2px;  empty-cells: hide;}td.boxed, th.boxed, th.boxedHeader {  background-color: #ffffff;  border-color: #000000;  border-style: solid;  border-width: 1px;  color: #000000;  padding: 2px;  padding-left: 8px;  padding-right: 8px;}th.boxed {  background-color: #c0c0c0;}th.boxedHeader {  background-color: #808080;  color: #ffffff;}ul {  list-style-type: square;}#main {  margin: 0px auto;  text-align: left;  width: 62em;}.navBar {  background-color: #e0b080;  border: 1px solid #000000;  color: #603000;  font-size: 8pt;  margin: 0px;  padding: 2px;  padding-left: 8px;  padding-right: 8px;  text-align: right;}.navCurrentPage {  color: #a07040;  font-weight: bold;}#content {  background-color: #ffffff;  background-position: -30% 0%;  background-repeat: no-repeat;  border: 1px solid #000000;  border-top-width: 0px ;  border-bottom-width: 0px ;  padding: .5em 1em .25em 1em;}.sideBox {  background-color: #f0e0d0;  border-color: #d0a070;  border-style: solid;  border-width: 1px;  float: right;  padding: .5em;  margin-top: 0px;  margin-left: 8px;  margin-bottom: 8px;  margin-right: 0px;  width: 12em;}.noteBox {  background-color: #f0f0f0;  border-color: #909090;  border-style: solid;  border-width: 1px;  padding: .5em;}.footer {  margin-bottom: 0px;}/******************************************************************************* Printing styles.                                                            *******************************************************************************/@media print {  a {    color: #808080 !important;    font-weight: normal !important;  }  body, td, th {    font-family: Arial, Helvetica, sans-serif !important;    font-size: 10pt !important;  }  body, input, textarea {    background-color: #ffffff !important;    color: #000000 !important;  }  input, textarea {    background-color: #ffffff !important;    border: 1px solid #000000 !important;    color: #000000 !important;  }  input.button {    background-color: #e0e0e0 !important;  }  textarea {    scrollbar-base-color: #e0e0e0 !important;  }  pre, pre i {    color: #000000 !important;  }  td.boxed {    background-color: #ffffff !important;    border: 1px solid #000000 !important;    color: #000000 !important;  }  th.boxed {    background-color: #e0e0e0 !important;    border: 1px solid #000000 !important;    color: #000000 !important;  }  th.boxedHeader {    background-color: #c0c0c0 !important;    border: 1px solid #000000 !important;    color: #000000 !important;  }  #main, #content {    background-color: #ffffff !important;    border-style: none !important;    color: #000000 !important;  }  #content {    background-image: none !important;  }  .navBar {    background-color: #e0e0e0 !important;    border: 1px solid #000000 !important;    color: #000000 !important;    font-size: 8pt !important;  }  .navCurrentPage {    color: #000000 !important;  }  .sideBox {    background-color: #e0e0e0 !important;    border-color: #000000 !important;    color: #000000 !important;  }  .noteBox {    background-color: #e0e0e0 !important;    border-color: #000000 !important;    color: #000000 !important;  }}