BODY {
  padding: 20px;
  margin: 5px 50px 5px 50px;
  background: #ffffff;
  color: #000000;
  border: dotted 2px #cccccc;
  font-family: Helvetica, Arial, sans-serif; /* Nicer font */
  font-size: 15px;
}

P {
  font-family: Helvetica, Arial, sans-serif; /* Nicer font */
  text-align: justify;
}

P.C2 {
  COLOR: #ffffff ;
  BACKGROUND-color: #a0a0d0;
  BORDER: solid 1px #606090;
  PADDING: 1px
}

A {
  color: #041fc5;
  text-decoration: none;
}

A:hover {
  color: #990000;
  text-decoration: underline;
}

DIV.ABSTRACT {
  border: solid 2px;
  padding-left: 10pt;
  padding-right: 10pt;
}
PRE.SCREEN {
  font-family: monospace;
  white-space: pre;
  background-color: #fefeee;
  border:solid;
  color: #000000;
  border-color: #99CCCC;
  border-left: solid #99CCCC 1px;
  border-right: solid #99CCCC 1px;
  border-top: solid #99CCCC 1px;
  border-bottom: solid #99CCCC 1px;
  padding-left: 15pt;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
}

PRE.PROGRAMLISTING {
  font-family: monospace;
  white-space: pre;
  background-color: #fcfffc;
  border:solid;
  color: #000000;
  border-color: #99CCCC;
  border-left: solid #99CCCC 1px;
  border-right: solid #99CCCC 1px;
  border-top: solid #99CCCC 1px;
  border-bottom: solid #99CCCC 1px;
  padding-left: 15pt;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
}

H1 {
  color: #000000;
  font-family: Helvetica, Arial, sans-serif; /* Nicer font */
  font-variant: small-caps;
  font-size: 22px;
  padding-left: 5px;
}

.TITLE a {
  color: #000000; 
  text-decoration: none;
}

.TITLE a:active {
  color: #000000; 
  text-decoration: none;
}

.TITLE a:visited {
  color: #000000; 
  text-decoration: none;
}

H2 {       
  COLOR: #000000 ;
  font-style: italic;
  padding-left: 5px;
  font-family: Helvetica, Arial, sans-serif; /* Nicer font */
  font-weight: bold;
  font-size: 18px;
}

H2 a {
  color: #000000; 
  text-decoration: none;
}

H2 a:active {
  color: #000000; 
  text-decoration: none;
}

H2 a:visited {
  color: #000000; 
  text-decoration: none;
}

H2 a:hover {
  color: #000000; 
  text-decoration: none;
}

H3.SECTION, H3.TITLE {       
  font-style: italic;
  padding-left: 5px;
  font-weight: bold;
}

H3 a {
  color: #000000; 
  text-decoration: none;
}

H3 a:active {
  color: #000000; 
  text-decoration: none;
}

H3 a:visited {
  color: #000000; 
  text-decoration: none;
}

H3 a:hover {
  color: #000000; 
  text-decoration: none;
}

H3.AUTHOR {
  font-weight: bold;
  font-size: 16px;
}

H3.EDITOR {
  font-weight: bold;
  font-style: italic;
  font-size: 14px;
  line-height: 14px;
  margin: 0 0 0;
}

H4.EDITEDBY {
  margin: 12px 0 0;
}

h1 i, 
h2 i, 
h3 i, 
h4 i {
    padding-right: 10px;
    color: #A8D13B;
    font-size: 0.8em;
}

h1:after, 
h2:after, 
h3:after, 
h4:after {
    position: absolute;
    content: "";
    height: 1px;
    border-radius: 2px;
    left: 0;
    bottom: 0;
    box-shadow: 
        0 -1px 0 rgba(0,0,0,0.1), 
        0 1px 0 rgba(255,255,255,0.6);
}

h1:after { width:  50%; } 
h2:after { width:  35%; } 
h3:after { width:  25%; }
h4:after { width:  15%; }

.authorgroup h3:after { width:  0%; }
.authorgroup h4:after { width:  0%; }

h1 {
    margin: 1em 0 0.75em;
    padding: 0 0 5px 0;
    color: #6B5344;
    font-weight: normal;
    position: relative;
    text-shadow: 0 2px 0 rgba(255,255,255,0.5);
    font-size: 30px;
    line-height: 38px;
    font-family: 'Carrois Gothic', Helvetica, sans-serif;
}

h2 {
    margin: 1em 0 0.75em;
    padding: 0 0 5px 0;
    color: #6B5344;
    font-weight: normal;
    font-family: 'Scada', Helvetica, sans-serif;
    position: relative;
    text-shadow: 0 2px 0 rgba(255,255,255,0.5);
    font-size: 26px;
    line-height: 34px;
}

h3 {
    margin: 1em 0 0.75em;
    padding: 0 0 5px 0;
    color: #6B5344;
    font-weight: normal;
    font-family: 'Scada', Helvetica, sans-serif;
    position: relative;
    text-shadow: 0 2px 0 rgba(255,255,255,0.5);
    font-size: 20px;
    line-height: 28px;
}

h4 {
    margin: 1em 0 0.75em;
    padding: 0 0 5px 0;
    color: #6B5344;
    font-weight: normal;
    font-family: 'Scada', Helvetica, sans-serif;
    position: relative;
    text-shadow: 0 2px 0 rgba(255,255,255,0.5);
    font-size: 16px;
    line-height: 24px;
}

hr {
    border: 0;
    height: 1px;
    background-image: linear-gradient(to right, rgba(0, 0, 0, 0), rgba(0, 0, 0, 0.5), rgba(0, 0, 0, 0));
}

TABLE.IMPORTANT {
  font-style:italic;
  border: solid 2px #ff0000;
  width: 70%;
  margin-left: 15%;       
}

TABLE.CAUTION {
  font-style:italic;
  border: ridge 2px #ffff00;
  width: 70%;
  margin-left: 15%;       
}

TABLE.NOTE {
  font-style:italic;
  border: solid 1px #000000;
  width: 70%;
  margin-left: 15%;       
}

TABLE.TIP {
  font-style:italic;
  border: solid 1px #000000;
  width: 70%;
  margin-left: 15%;       
}

TABLE.WARNING {
  font-style:italic;
  font-weight: bold;
  border: ridge 4px #ff0000;
  width: 70%;
  margin-left: 15%;       
}

table {  
    color: #333; /* Lighten up font color */
    font-family: Helvetica, Arial, sans-serif; /* Nicer font */
    width: 90%; 
    border-collapse: 
    collapse; border-spacing: 0; 
}

td, th { border: 1px solid #CCC; height: 30px; } /* Make cells a bit taller */

th {  
    background: #F3F3F3; /* Light grey background */
    font-weight: bold; /* Make sure they're bold */
}

td {  
    background: #FAFAFA; /* Lighter grey background */
}

DIV.VARIABLELIST {
  font-family: Helvetica, sans-serif;
  font-style: normal;
  font-weight: normal;
  padding-left: 20px;
}

.VARLISTENTRY {
  font-weight: bold;
  margin-top: 10px;
  COLOR: #ffffff ;
  BACKGROUND-color: #a0a0d0;
  BORDER: solid 1px #606090;
  PADDING: 1px
}

DIV.NAVFOOTER {
  color: #000000;
  background-color: #EFEFF8;
  padding: 5px;
  margin-top: 10px;
  width: 100%;
  border: thin solid #a0a0d0;
}

DIV.NUKEFOOTER {
  color: #000000;
  background-color: #B0E0E6;
  padding: 5px;
  margin-top: 10px;
  width: 100%;
  border: thin solid #a0a0d0;
}

DIV.NAVHEADER {
  color: #000000;
  background-color: #EFEFF8;
  padding: 5px;
  margin-bottom: 10px;
  width: 100%;
  border: thin solid #a0a0d0;
}

DIV.SECT1,DIV.SECT2,DIV.SECT3 {
  margin-left: 20px;
}

DIV.TOC {
  padding-left: 10px;
  padding-right: 10px;
  color: #000000;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
}

DIV.EXAMPLE {
  border: thin dotted #70AAE5;
  padding-left: 10px;
  padding-right: 10px;
  color: #000000;
  background-color: #EFF8F8;
  overflow: auto;
  border-radius: 2.5px;
  -moz-border-radius: 2.5px;
}

DIV.TOC {
  margin-left: 20px;
  margin-right: 20px;
}