BODY {
  color: #000033 ;
  font-family: sans-serif;
  font-size: 9pt;
  background-color: #FFFFFF ;
/*  background: url('bluestripe.gif') repeat;*/

}

h1 {
  color           : #000000;
  font-size       : 120%;
}

h2 {
  color           : #5F73A8; 
  font-size       : 100%;
}

h3 {
  color           : #5F73A8;
  font-size       : 80%;
}

a, a:visited {
  color           : #800000;
  text-decoration : none;  
}

a:hover, a:visited:hover {
  color           : #FF0000;
  text-decoration : none;  
}


th {
        font-size: 9pt ;
        color: #000000 ;
}

td {
  font-size: 8pt ;
  vertical-align: text-top;
}

TD.api {
  border-style    : solid ;
  border-width    : 1px;
  border-color    : #909090 ;
  padding-left  : 4px ;
  padding-right : 4px ;
  vertical-align: text-top;
}

TD.api:hover {
  background-color: #EEEEEE;
}
    
TD.str {
  font-size: 10pt ;
  font-weight: bold ;
  border-style    : solid ;
  border-width    : 1px;
  border-color    : #909090 ;
  color: #000000 ;
  background-color: #EEEEEE ;
  padding-left  : 4px ;
  padding-right : 4px ;
}
TD.str-short {
  font-size: 8pt ;
  border-style    : solid ;
  border-width    : 1px;
  border-color    : #909090 ;
  color: #000000 ;
  background-color: #EEEEEE ;

  padding-left  : 4px ;
  padding-right : 4px ;
    
}


pre.code {
  color           : #000000 ; 
  background-color: #FFFFFF ;
  border-style    : dashed ;
  border-width    : 1px;
  border-color    : #909090 ;
 
  margin-left     : 5px;
  margin-right    : 10px;

  padding-left  : 5px ;
  padding-right : 5px ;
      
}
span span.keyword {
  color : inherit ;
  font-style: inherit;
} 
img.borderless {
  border-style: none;
}

a.linenumber {
  color : #000000;
}

span.keyword {
  color : #0000AA ;
}

span.keyword span.concrete {
  color : #FFFFFF ;
}

span.layout {
  color : #008800 ;
}
span.xDocCommentNoFields {
  color : #008800 ;
}
span.xDocCommentNoSummary {
  color : #008800 ;
}

span.Str {
  color : #9999FF ;
}
span.char {
  color : #650099 ;
}
span.succeed {
  color : #006600 ;
}
span.fail {
  color : #660000 ;
}

span.meta-var {
  font-style : italic;
}

span.concrete span.keyword {
  color: #662266;
}

span.concrete span.ast{
  display: none;
}

span.concrete span.concrete span.ast{
  display: none;
}
  
span.concrete {
  color: #777777 ;
}

span.concrete:hover span.ast{
  display: block;
  margin-left: 10px;
  margin-top: 12px;
  position: absolute;
  background-color: #fff;
  border: 1px solid orange;
  text-decoration: none;
  color: #333;
  padding: 2px;
  cursor: pointer;
}


frameset {
  border-style: solid ;
  border-width: 2px;
  border-color: #EEEEEE;
}