.title { 
  text-align:center;
  background-color:#80FFFF;
  color:#000390;
  font-size:14pt;
  font-weight:bold;
  font-style:italic;
  width:100%;
}

.author {
  text-align:right;
  color:black;
  font-size:12pt;
  font-weight:bold;
  font-style:italic;
}

.source {
  font-family: monospace;
  font-size: 10pt;
  white-space: pre;
  overflow:scroll;
  float:left;
  width:75%;
}

.doc-comment {
 color:rgb(115,115,115);
 display:inline;
}

.block-comment {
 color:rgb(115,115,115);
 display:inline;
}

.comment {
 color:rgb(115,115,115);
 display:inline;
}

.doc-link {
  text-decoration:none;
  color:darkblue;
  font-weight:bold
}
.doc-link:hover {
  text-decoration:none;
  color:red;
  font-weight:bold	  
}



.line-number {
 font-size:10pt;
 font-style:normal	;
 color:gray;
 background-color:#E4F8F8;
 padding-right:3px;
 padding-left:3px;
 margin-right:5px;
}


.annotation {
 font-weight:bold;
 display:inline;
}


.keyword {
  color : rgb(0,0,153);
  font-weight:bold;
  display:inline;
}

.identifier {
	display:inline;
}

.operator {
  color:darkred;
  font-weight:bold;
  display:inline;
}

.field {
  color : rgb(0,0,192);
  display:inline;
}

.number {
  color : rgb(120,0,0);
  display:inline;
}

.string {
  color: rgb(153,0,107);
  display:inline;
}

.boolean {
  color: rgb(153,0,107);
  font-weight:bold;
  display:inline;
}
.null {
  color: rgb(153,0,107);
  font-weight:bold;
  display:inline;
}

.highlight {
	background-color:yellow; 
}

.hidden {
  font-size:14pt;
  text-align:center;
  font-weight:bold;
  color:blue;
  padding-top:15px;
  padding-bottom:10px;
}

/**
  * Styles for the outline 
  *
  **/
div.outline {
  width:24%;
  float:right;
  vertical-align:top;
  background:#EBEDED;
  border-width:1px;
  border-style:solid;
  font-size:10pt;
  font-family:Arial;
  font-weight:bold
}
a.outline {
  text-decoration:none;
  color:darkblue;
}
a.outline:visited {
  text-decoration:none;
  color:darkblue;
}

a.outline:hover {
  color:red;
  text-decoration:underline;
}

/**
  * Styles for the navigation box
  *
  **/
div.navigation {
  border-style:solid;
  border-width:1px;
  background:#D6FCD6;
  float:right;
  width:24%;
  margin-top:5px;
  padding:5px 0px 3px 5px;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-weight:bold;
}
input.navigation {
  font-size: 11px; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 

}
button.navigation {
  width:40px;
  text-align:center;
  background-color : #bbd2ee; 
  color : #000000; 
  font-size: 11px; 
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  border:  1px solid #202020; 
  margin-top:2px;
  vertical-align:bottom;
}
img.navigation {
  vertical-align:middle;
}
/**
  * Styles for the css selection box
  *
  **/
div.skin-box {
  border-style:solid;
  border-width:1px;
  background:#D6FCD6;
  float:right;
  width:24%;
  margin-top:5px;
  padding:5px 0px 3px 5px;
  font-size: 11px;
  font-family: Verdana, Arial, Helvetica, sans-serif; 
  font-weight:bold;
}