body {
  background-color: #AACC00;
  color: black;
}
 :link { color: gray }
 :visited { color: BROWN }
 :active { color: green }

span.library {color: red}

dd{
   color: black;
}
dl{
}
dt{
   font-weight:   bolder;
}

h1 {
  /*
   paddling-left:   0.1in;
   paddling-top:    0.1in;
   paddling-bottom: 0.1in;
   paddling-right:  0.0in;
   margin-right:    0.00in;
   margin-left:     0.00in;
   */
   text-align:      center;
   border:          medium;
   border-color:    blue;
   border-style:    solid;
   color:           gray;
   font-style:      italic;
   background:      #f0f0ef;
   font-size:       24px; 
   }
h2 {
   border:          medium;
   border-color:    blue;
   border-style:    solid;
   color:           blue;
   font-style:      italic;
   background:      #e0f0f0;
   font-size:       20px; 
   }
h3 {
   color:           blue;
   font-style:      italic;
   font-size:       16px; 
   }
h4.fortran {
   color:           red;
   text-align:      right;
   font-style:      italic;
   font-size:       16px; 
   }
body {
   margin-left:     0.15in;
   margin-top:      0.15in;
   background:      #e0e0e0;
   font-family:     Verdana, Arial, Helvetica, Sans-Serif;
   font-size: 18px; 
   }
pre,xmp { 
   border-style: dotted; 
   paddling-left:   1.0em;
   paddling-top:    1.0em;
   paddling-bottom: 1.0em;
   paddling-right:  1.0em;
   background-color: rgb(255,255,154);
   margin-right: 1.0em;
   border: 1;
   font-size: 80%;
}

div.table4 {text-align: center}

table {
   background:  #e0f0f0;
   align:       right;
   border:	6;
   width:	100%;
   bgcolor:	#eeeefe;
   cellpadding:	6;
   cellspacing:	2;
   bordercolor:	#818190;
   border-style:    solid;
}

td.c2 {color: white; font-family: helvetica}
td.table3 {color: #000000; font-family: helvetica; background-color: #ffffff }
td.table5 {color: #000000; font-family: helvetica; background-color: #ffffa0 }
caption.table2 {color: #ffffa0; font-family: helvetica; font-size: 150%}

pre.code {
   margin-left:     0.25in;
   margin-right:    0.25in;
   margin-top:      0.25in;
   margin-bottom:   0.25in;
   background:      #e0e0e0;
   color:           #333333;
   }
div.pos{
   background:      #e0e0d0;
   margin-left:     0.25in;
   margin-right:    0.05in;
   margin-top:      0.25in;
   margin-bottom:   0.25in;

   paddling-left:   0.25in;
   paddling-top:    0.00in;
   paddling-bottom: 0.25in;
   paddling-right:  0.25in;
   }
xmp{
   display:         block;
   font-size:       7pt;
   margin-left:     1em;
   padding-left:     1em;
}
