/* CSS Stylesheet for Augmented Plain Text (APT)
   $Id: apt.css,v 2.1 2003/01/11 20:54:46 altheim Exp $
 */
/* <style type="text/css"> */
  body {
    background-color: white ;
    background: url("img/background.png") left top repeat-y scroll ;
    margin-top:    1em ;
    margin-left:   8em ;
    margin-right:  4em ;
    margin-bottom: 50em ;
  }
 /* small light purple links following certain block elements. */
 .plink, .plinks {
    font-family : "Helvetica", sans-serif ; 
    font-size : x-small ;
    font-style : normal ;
    font-weight : normal ;
    text-decoration : none ;
    color : #cabee0 ;
 /* color : #C8A8FF ; */
  }
/* a:link     { color : #663399 } */
  .header {
    margin-top:  -8px ;
    margin-left: -8px ;
  }
  div.abstract { 
    padding-top : 1em ;
  }
  p.abstract { 
    margin-right : 25% ;
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ; 
    font-style : plain ; 
    color : #500080 ; 
  }
  h1,h2,h3,h4,h5,h6 {
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    padding-top : 0.5em ;
    margin-left : -2em ;
  }
  h1 {
    font-size : x-large ;
    color : #400070 ;
 /* color : red ; */
  }
  h1.div0 { /* neutral heading */
    font-size : x-large ;
    color : #603090 ;
 /* color : red ; */
  }
  h2 {
    font-size : large ;
    color : #400070 ; 
 /* color : orange ; */
  }
  h3 {
    font-size : medium ;
    color : #400070 ; 
 /* color : yellow ; */
  }
  h4 {
    font-size : medium ;
    font-style : italic ;
    color : #500080 ;
 /* color : #008000 ; */
  }
  h5 {
    font-size : medium ;
    font-style : italic ;
     color : #600090 ;
 /* color : blue ; */
  }
  h6 {
    font-size : medium ;
    font-style : italic ;
    color : #7000A0 ;
 /* color : #800080 ; */
  }
  div.div2 {
    margin-left :  1em ;
    margin-right : 1em ;
    padding-bottom : 2em ;
  }
  h2.div2 {

  }
  div {
    margin-left: 2em ;
  }
  .sect  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  .hdt {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ;
    font-weight : bold ;
    color : #5000B0 ;
    padding-right : 2em ;
  }
  blockquote {
    font-family : "Lucida", "Helvetica", sans-serif ;
    margin-right : 25% ;
    margin-left :  3em ;
    padding-top : 1em ;
    padding-bottom : 2em ;
    font-size : 80% ;
    font-style : italic ;
    color : #3000B0 ;
  }
  .linkimg { 
    align : right ;
    border-style : none ; 
  }
  .doctitle { 
    padding-top : 0.5em ;
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : xx-large ;
    color : #500080 ; 
  }
  .subtitle { 
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : x-large ; 
    padding-bottom : 0.5em ;
    color : #500080 ; 
  }
  .author { 
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : medium ; 
    font-style : italic ; 
    color : #500080 ; 
  }
  .footer { 
    margin-left : 0em ;
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : 75% ;
    align : left ;
  }
  .xref
    text-decoration : none ;
  }
  code {
    color : #400080 ;
  }
  pre {
    font-family : "Courier New", "Courier", monospace ;
    white-space : pre ;
    color : #100050 ;
    font-size : medium ;
    margin-left : 2em ;
  }
  pre.markup {
    font-size : medium ;
    background-color : #ddddff ;
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
    color : #100050 ;
  }
  div.toc {
    padding-top : 0.5em ;
    padding-bottom : 1em ;
    margin-left : -2em ;
  }
  p.toc {
    font-family : serif ;
    font-size : small ;
  }
  p.pgheader {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-style : italic ;
    font-size : small ;
    text-align : right ;
    color : #8f4fff ;
  }
  p.nav {
    margin-left : -6em ;
    margin-bottom: 4em ;
    font-family : "Courier New", "Courier", monospace ;
    font-size : small ;
    color : #300070 ;
  }
  .center { 
    text-align : center 
  }
  .mailto { text-decoration : none }
  p.legal {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ;
    color : #333333  ;
  }
  .note {
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    clear : left ;
    margin-left : -7em ;
    color : #2e5a66 ;
  }
  .ednote {
    font-family : "Lucida Sans", "Lucidux Sans", "Lucida", "Helvetica", sans-serif ;
    font-size : x-small ;
    clear : left ;
    margin-left : -6em ;
    color : #4d747F ;
  }
  ul.ulist {
    list-style-type : circle ;
 /* list-style-type : none ; */
  }
  .term { 
    font-weight : bold ;
  }
  .unfinished { /* used in undefined definitions */
    color : #b584a2 ;
  }
  .thead {  /* table headings */
    background-color : #8fbab9 ;
    text-align : left ;
  }
  .even {  /* used in alternate table rows */
    background-color : #daeaea ;
  }
  .odd {  /* used in alternate table rows */
    background-color : #ffffff ;
  }


/* small light purple links following certain block elements. */
.plink, .plinks {
/* display : none ; */
   font-family : "Helvetica", sans-serif ; 
   font-size : x-small ;
   font-style : normal ;
   font-weight : normal ;
   text-decoration : none ;
   color : #C8A8FF ;
/* color : #8700FF ; */
 }

/* from earlier internal stylesheet
 body { background-color : white ; margin-left : 2em ; margin-right : 1em }" + NL + INDENT
 h1,h2,h3,h4,h5,h6 { font-family: 'Lucida', 'Helvetica', sans-serif }" + NL + INDENT
 h1 { padding-top : 1em ; font-size : 170% ; color : #6000A0 }" + NL + INDENT
 .doctitle { font-size : 170% }" + NL + INDENT
 h2 { font-size : 150% ; color : #400080 }" + NL + INDENT
 h3 { font-size : 120% ; color : #200060 ; font-weight : bold }" + NL + INDENT
 .heading { margin-left : -2em ; font-family: serif ; font-size : small }" + NL + INDENT
 .hth { text-align : right ; vertical-align : top ; font-family: serif ; font-size : small }" + NL + INDENT
 .htd { text-align : left ; vertical-align : top ; font-family: serif ; font-size : small }" + NL + INDENT
 .fig { text-align : center ; }" + NL + INDENT
 .figtitle { font-family: serif ; font-size : small ; color : #888888 }" + NL + INDENT
 div  { margin-left: 2em ; margin-right: 1em }" + NL + INDENT;
*/
/* end of stylesheet */