/* CSS1 stylesheet for XML Topic Maps (XTM) Version 1.0 */
/* Editor: Murray Altheim <altheim@eng.sun.com>
   Copyright 2000 topicmaps.org, All Rights Reserved.
   Revision: $Id: xtm.css,v 1.2 2001/03/02 15:08:36 pepper Exp $
 */
/* <style type="text/css"> */
  body {
    display : block ;
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : medium ;
    font-style : normal ;
    background-color : white ;
    margin-left : 3em ;
    margin-right : 1em
  }
  a:link    { color: #006000 }
  a:visited { color: #408040 }
  a:active  { color: #80ff00 }
  .dlink { /* WAI accessibility d-link */
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : x-small ;
    color : #cccccc ;
  }
  .xref {  /* reference in text */
    text-decoration : none ;
    font-variant : small-caps ;
  }
  .ref { /* reference in appendix */
    font-weight : bold ;
  }
  .noul { /* no underline in link */
    text-decoration : none
  }
  h1,h2,h3,h4,h5,h6 {
    display : block ;
    font-family : "Lucida", "Helvetica", sans-serif ;
    text-align : left ;
  }
  h1.doctitle {
    padding-top : 0.5em ;
    font-size : x-large ;
    color : #520282 ;
  }
  h2.docsubtitle {
    padding-top : 0em ;
    font-size : large ;
    color : #520290 ;
  }
  h1 {
    padding-top : 0.5em ;
    font-size : x-large ;
    color : #520290 ;
  }
  h1.div1  {
    margin-left :  -3em ;
  }
  h2 {
    padding-top : 0em ;
    font-size : large ;
    color : #520290 ;
  }
  h2.div2  {
    margin-left :  -2.5em ;
  }
  h3 {
    padding-top : 1em ;
    font-size : 120% ;
    color : #5000B0
  }
  h3.div3  {
    margin-left :  -1.5em ;
  }
  h4,h5,h6 {
    font-size : medium ;
    font-style : italic ;
    color : #5000B0
  }
  h4.div4  {
    margin-left :  -1em ;
  }
  blockquote {
    font-family : "Lucida", "Helvetica", sans-serif ;
    margin-right : 25% ;
    margin-left : -2em ;
    font-style : italic ;
    color : #3000B0 ;
  }
  q {
    font-style : italic ;
  }
  dl  {
    margin-left :  2em ;
    margin-right : 2em ;
  }
  ul.none,ul.none li {
    display : list-item ;
    list-style-type : none
    text-indent : 1em ;
  }
  ul {
    padding-top : 0.25em ;
  }
  .headergfx2 {
    margin-left : 2em ;
    text-align : left ;
  }
  .headergfx {
    margin-left : 2em ;
    text-align : right ;
  }
  .frontmatter {
    margin-left : -2em ;
    text-align : left ;
  }
  .navbar {
    margin-left : -3em ;
    text-align : left ;
    font-size : 75% ;
  }
  .sect1  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  .sect2  {
    margin-left :  1em ;
    margin-right : 1em ;
    padding-bottom : 1em ;
  }
  .sect3  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  .sect4  {
    margin-left :  1em ;
    margin-right : 1em ;
  }
  .abstract  {
    font-family : "Helvetica", sans-serif ;
    margin-left :  1em ;
    margin-right : 1em ;
    color : #300070 ;
  }
  .ownerid {
    display : none ;
  }
  .active {
    padding-bottom : 0.25em ;
  }
  .dfn {
    color : #400040 ;
    font-weight : bold ;
    font-style : italic ;
  }
  .important {
    color : red ;
  }
  .issue {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    margin-left : -3em ;
    color : #5050FF
  }
  .note {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    margin-left : -4em ;
    color : black
  }
  .ednote {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    margin-left : -4em ;
    color : #FF5000
  }
  th {
    text-align : left ;
    vertical-align : top ;
    color : #300070 ;
  }
  td {
    text-align : left ;
    vertical-align : top ;
  }
  pre {
    font-family : "Courier New", "Courier", monospace ;
    white-space : pre ;
    border : none ;
    color : #5000B0 ;
  }
  pre.markup {
    font-family : "Courier New", "Courier", monospace ;
    width : 100% ;
    background-color : #daffdb ;
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
  }
  pre.markup-small {
    font-family : "Courier New", "Courier", monospace ;
    font-size : small ;
    width : 100% ;
    background-color : #daffdb ;
    padding-top : 0.5em ;
    padding-bottom : 0.5em ;
  }
  .dtd  {
    width : 100% ;
    background-color : #ddffdd ;
    color : #300070 ;
  }
  i   { font-style : italic ; }
  em  { font-style : italic ; }
  code { /* no color change */
    font-family : "Courier New", "Courier", monospace ;
  }
  tt  {
    font-family : "Courier New", "Courier", monospace ;
    color : #400060 ;
  }
  .legend {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ;
  }
  p.legal {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ;
    color : #333333  ;
  }
  .fig {
    text-align : center ;
  }
  .figtitle {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    font-style : italic ;
    color : #404040 ;
  }
  .hdt {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : small ;
    font-weight : bold ;
    color : #5000B0 ;
  }
  dd.def {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-style : italic ;
    color : #222222 ;
  }
  .psi-title {
    font-family : "Courier New", "Courier", monospace ;
    font-size : medium ;
    font-weight : bold ;
    color : #5000B0 ;
  }
  .psi-rsrc {
    font-size : medium ;
/*
    font-style : italic ;
    border : solid black ;
    border-width : thin ;
*/
    color : #5000B0 ;
  }
  .psi {
    padding-top : 1px ;
    padding-bottom : 1em ;
    margin-left : -1em ;
  }
  .tm {
    font-family : "New Century Schoolbook", "Times New Roman", "Times", serif ;
    font-size : x-small ;
    vertical-align : super ;
    text-decoration : none ;
  }
  .footnoteref {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : x-small ;
    vertical-align : super ;
    text-decoration : none ;
  }
  .footnote {
    margin-left : -2em ;
    font-family : serif ;
    font-size : small ;
    color : #676767 ;
  }
  .toc {
    font-family : serif ;
    font-size : small ;
  }
  .footer { text-align : center ; }
  .attr { margin-left : 2em ; }
  .mailto { text-decoration : none }
  .eltref { text-decoration : none }
  .dref {
    text-decoration : none ;
    color : #300070 ;
  }
  .o {
    font-family : "Bookman", "Times New Roman", "Times", serif ;
    color : #300060 ;
  }
  var {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-weight : bold ;
    color : #300060 ;
  }
  .prt {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-weight : bold ;
    font-size : small  ;
    color : #400060 ;
  }
  .fix {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small  ;
    color : #ff5000 ;
  }
  .draft { color : #ff0000 }
  .review { color : #ffa500 }
  .NA { display : none ; }  /* not available */
  .FIXME {
    font-family : "Lucida", "Helvetica", sans-serif ;
    font-size : small ;
    margin-left : -4em ;
    color : #ff0000
  }
  .TEMPO { color : #40bb00 }
/* </style> */